jwiegley / coq-haskellLinks

A library for formalizing Haskell types and functions in Coq
170Updated 2 years ago

Alternatives and similar repositories for coq-haskell

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

Sorting: