A type theory based theorem proving library
Primary LanguageHaskellOtherNOASSERTION
This repository is not active