Online Otter-λ
-->
Examples
| Input File | Output File | The Proof | Commentary | Date |
|---|---|---|---|---|
| quantifiers5.in | quantifiers5.out | quantifiers5.prf | quantifiers5.html | Tue, 25 Nov 2025 11:47:43 +0000 |
| quantifiers4.in | quantifiers4.out | quantifiers4.prf | Tue, 25 Nov 2025 11:47:43 +0000 | |
| quantifiers8.in | quantifiers8.out | quantifiers8.prf | quantifiers8.html | Tue, 25 Nov 2025 11:47:43 +0000 |
| quantifiers.in | quantifiers.out | quantifiers.prf | Tue, 25 Nov 2025 11:47:43 +0000 |