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