/hezarfen

a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

Primary LanguageIdrisMIT LicenseMIT

Stargazers