a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
Primary LanguageIdrisMIT LicenseMIT
No issues in this repository yet.