Online Otter-λ

Utility Link | Utility Link | Utility Link
ExternalSimplification | SetTheory | LambdaLogic | Induction | More >
-->

Examplessmall logo





Input FileOutput FileThe ProofCommentaryDate
quantifiers8.inquantifiers8.outquantifiers8.prfquantifiers8.htmlMon, 08 Aug 2005 00:05:12 +0000
quantifiers5.inquantifiers5.outquantifiers5.prfquantifiers5.htmlMon, 08 Aug 2005 00:05:11 +0000
quantifiers4.inquantifiers4.outquantifiers4.prfThu, 11 Aug 2005 05:23:32 +0000
quantifiers.inquantifiers.outquantifiers.prfThu, 11 Aug 2005 05:21:28 +0000