wilcoxjay Karma 43 Created 12 years ago Recent Submissions 1. ▲ Hs-to-coq: Haskell to Coq converter (github.com) 2 points · 9 years ago · 0 comments All submissions on HN · View profile on HN