Mathematical proofs in c++ by way of the Curry Howard isomorphism.
Primary LanguageC++
No issues in this repository yet.