This repository is not active
James-Oswald/Lazycore
Bringsjordian Natural Deduction soundness wrt truth in the Calculus of Constructions
Lean
Bringsjordian Natural Deduction soundness wrt truth in the Calculus of Constructions
Lean
This repository is not active