Reviews
A library for formalizing Haskell types and functions in Coq
Search similar apps
License
BSD 3-Clause "New" or "Revised" License
Related apps
periods
Common Lisp library for manipulating date/time objects at a higher level
Common Lisp29
5 months ago
category-theory
An axiom-free formalization of category theory in Coq for personal study and pra
Coq716bsd-3-clause
5 months ago
cartesiancartesian-closed-categorycategories
git-undo-el
A command for Emacs to regress or "undo" a region back through its Git history
Emacs Lisp91
2 years ago
use-package
A use-package declaration for simplifying your .emacs
Emacs Lisp4342gpl-3.0
3 months ago
autoloaddeferred-loadingemacs