Online Otter-λ
-->
| Input File | Output File | The Proof | Commentary | Date |
|---|---|---|---|---|
| homomorphism.in | homomorphism.out | homomorphism.prf | homomorphism.html | Sun, 07 Aug 2005 17:05:09 -0700 |
| identity.in | identity.out | identity.prf | identity.html | Sun, 07 Aug 2005 17:05:10 -0700 |
| lagrange3.in | lagrange3.out | lagrange3.prf | lagrange3.html | Sun, 07 Aug 2005 17:05:10 -0700 |