sequent
falsification
Sections
ClassicalProps(jlc)
Doc
letrec_arg
Def
x b(x) (x) == b(x)
About:
