Awesome Lists

hs-to-coq

by antalsz

archivedCoqpushed almost 6 years ago

Convert Haskell source code to Coq source code

stars
279
forks
27
watching
16
View on GitHubhs-to-coq.readthedocs.io

Add a GitHub project

Missing a project or an awesome list? Paste its GitHub URL and we fetch it right away.