Online Otter-λ
-->
Examples
| Input File | Output File | The Proof | Commentary | Date |
|---|---|---|---|---|
| quantifiers8.in | quantifiers8.out | quantifiers8.prf | quantifiers8.html | Mon, 08 Aug 2005 00:05:12 +0000 |
| quantifiers.in | quantifiers.out | quantifiers.prf | Thu, 11 Aug 2005 05:21:28 +0000 | |
| quantifiers5.in | quantifiers5.out | quantifiers5.prf | quantifiers5.html | Mon, 08 Aug 2005 00:05:11 +0000 |
| quantifiers4.in | quantifiers4.out | quantifiers4.prf | Thu, 11 Aug 2005 05:23:32 +0000 |