full
sequent
assignment
Sections
ClassicalProps(jlc)
Doc
letrec
Def
(letrec f b(f)) == b((letrec f b(f)) ) (recursive)
About:
