issues
search
antalsz
/
hs-to-coq
Convert Haskell source code to Coq source code
https://hs-to-coq.readthedocs.io
MIT License
279
stars
27
forks
source link
An untested IntSet implementation using MSetRBT
#36
Closed
lastland
closed
7 years ago