Online Otter-λ
-->
Examples
| Input File | Output File | The Proof | Commentary | Date |
|---|---|---|---|---|
| nilpotent4.in | nilpotent4.out | nilpotent4.prf | nilpotent4.html | Tue, 25 Nov 2025 11:47:43 +0000 |
| sumofn.in | sumofn.out | sumofn.prf | sumofn.html | Tue, 25 Nov 2025 11:47:43 +0000 |
| nilpotent3.in | nilpotent3.out | nilpotent3.prf | nilpotent3.html | Tue, 25 Nov 2025 11:47:43 +0000 |
| sumofnsquared.in | sumofnsquared.out | sumofnsquared.prf | sumofnsquared.html | Tue, 25 Nov 2025 11:47:43 +0000 |
| bernoulli.in | bernoulli.out | bernoulli.prf | bernoulli.html | Tue, 25 Nov 2025 11:47:43 +0000 |