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