Online Otter-λ
-->
| Input File | Output File | The Proof | Commentary | Date |
|---|---|---|---|---|
| quantifiers.in | quantifiers.out | quantifiers.prf | Wed, 10 Aug 2005 22:21:28 -0700 | |
| quantifiers4.in | quantifiers4.out | quantifiers4.prf | Wed, 10 Aug 2005 22:23:32 -0700 | |
| quantifiers5.in | quantifiers5.out | quantifiers5.prf | quantifiers5.html | Sun, 07 Aug 2005 17:05:11 -0700 |
| quantifiers8.in | quantifiers8.out | quantifiers8.prf | quantifiers8.html | Sun, 07 Aug 2005 17:05:12 -0700 |