/coq-projects

Haskell? More like not-prooved-well! Got-em!

Primary LanguageCoq

No issues in this repository yet.