Bringsjordian Natural Deduction soundness wrt truth in the Calculus of Constructions
Primary LanguageLean