An axiom-free formalization of category theory in Coq for personal study and practical work
created at July 4, 2014, 8:13 a.m.
20 +0
754 +2
69 +0
A library for formalizing Haskell types and functions in Coq
created at Aug. 22, 2014, 10:40 p.m.
12 +0
167 +0
10 +0