/Lazycore

Bringsjordian Natural Deduction soundness wrt truth in the Calculus of Constructions

Primary LanguageLean

Watchers