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