menu

Return to entry

Core
Preliminaries
Term
Sorts
SortConstants
Theory
Term_Subst
Name
BetaNorm
BetaNormProof
EtaNorm
EtaNormProof
Logic
EqualityProof
ProofTerm
SortsExe
Instances
TheoryExe
CheckerExe
CodeGen

Metalogic_ProofChecker.EtaNormProof

HTML Presentation