A type theory based theorem proving library
Primary LanguageHaskellOtherNOASSERTION
No issues in this repository yet.