M
etalogic_
P
roof
C
hecker
Core
Preliminaries
Term
Sorts
SortConstants
Theory
Term_Subst
Name
BetaNorm
BetaNormProof
EtaNorm
EtaNormProof
Logic
EqualityProof
ProofTerm
SortsExe
Instances
TheoryExe
CheckerExe
CodeGen