/Lazycore

Bringsjordian Natural Deduction soundness wrt truth in the Calculus of Constructions

Primary LanguageLean

No issues in this repository yet.