coq-haskell

A library for formalizing Haskell types and functions in Coq

164 stars

12 watching

11 forks

Language: Coq

last commit: 12 months ago

Linked from 2 awesome lists

Backlinks from these awesome lists: