jwiegley / coq-haskellLinks

A library for formalizing Haskell types and functions in Coq
170Updated last year

Alternatives and similar repositories for coq-haskell

Users that are interested in coq-haskell are comparing it to the libraries listed below

Sorting: