Online Otter-λ
-->
| Input File | Output File | The Proof | Commentary | Date |
|---|---|---|---|---|
| divides.in | divides.out | divides.prf | divides.html | Sun, 07 Aug 2005 17:05:19 -0700 |
| divides2.in | divides2.out | divides2.prf | divides2.html | Sun, 07 Aug 2005 17:05:19 -0700 |
| lambda.in | lambda.out | lambda.prf | lambda.html | Sun, 07 Aug 2005 17:05:20 -0700 |
| lambda4.in | lambda4.out | lambda4.prf | lambda4.html | Sun, 07 Aug 2005 17:05:20 -0700 |