Online Otter-λ
-->
Examples
| Input File | Output File | The Proof | Commentary | Date |
|---|---|---|---|---|
| homomorphism.in | homomorphism.out | homomorphism.prf | homomorphism.html | Mon, 08 Aug 2005 00:05:09 +0000 |
| lagrange3.in | lagrange3.out | lagrange3.prf | lagrange3.html | Mon, 08 Aug 2005 00:05:10 +0000 |
| identity.in | identity.out | identity.prf | identity.html | Mon, 08 Aug 2005 00:05:10 +0000 |