/idris-logic

Propositional logic tools, inspired by the Coq standard library.

Primary LanguageIdrisMIT LicenseMIT

Watchers