Geeks
HMPerson1
/
hs-coq-opt
Optimising Haskell in Coq
Primary Language
Coq
hs-coq-opt GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
hs-coq-opt