Online Otter-λ

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

Examplessmall logo



Examples -> Algebra -> identity.prf


1 [] x=x.
2 [] g(X)!=Ap(X,g(X))|$ANS(X).
3 [binary,2.1,1.1] $ANS(lambda(x,x)).