A type theory based theorem proving library
Primary LanguageHaskellOtherNOASSERTION
No one’s watching this repository yet.