Online Otter-λ
-->
Examples
| Input File | Output File | The Proof | Commentary | Date |
|---|---|---|---|---|
| nilpotent3.in | nilpotent3.out | nilpotent3.prf | nilpotent3.html | Mon, 08 Aug 2005 00:05:15 +0000 |
| nilpotent4.in | nilpotent4.out | nilpotent4.prf | nilpotent4.html | Mon, 08 Aug 2005 00:05:17 +0000 |
| sumofn.in | sumofn.out | sumofn.prf | sumofn.html | Fri, 10 Mar 2006 18:19:43 +0000 |
| sumofnsquared.in | sumofnsquared.out | sumofnsquared.prf | sumofnsquared.html | Fri, 10 Mar 2006 18:19:44 +0000 |
| bernoulli.in | bernoulli.out | bernoulli.prf | bernoulli.html | Fri, 10 Mar 2006 18:19:31 +0000 |