Lists (14)
Starred repositories
4
stars
written in Coq
Clear filter
The CompCert formally-verified C compiler
An axiom-free formalization of category theory in Coq for personal study and practical work
A library for formalizing Haskell types and functions in Coq
A Specification for Dependent Types in Haskell (Core)