Online Otter-λ
-->
Examples
| Input File | Output File | The Proof | Commentary | Date |
|---|---|---|---|---|
| lambda4.in | lambda4.out | lambda4.prf | lambda4.html | Mon, 08 Aug 2005 00:05:20 +0000 |
| lambda.in | lambda.out | lambda.prf | lambda.html | Mon, 08 Aug 2005 00:05:20 +0000 |
| divides.in | divides.out | divides.prf | divides.html | Mon, 08 Aug 2005 00:05:19 +0000 |
| divides2.in | divides2.out | divides2.prf | divides2.html | Mon, 08 Aug 2005 00:05:19 +0000 |