James-Oswald / Lazycore

Bringsjordian Natural Deduction soundness wrt truth in the Calculus of Constructions

Geek Repo

Github PK Tool