Reviews
An axiom-free formalization of category theory in Coq for personal study and practical work
Search similar apps
License
BSD 3-Clause "New" or "Revised" License
An axiom-free formalization of category theory in Coq for personal study and practical work
Creator
Related apps
periods
Common Lisp library for manipulating date/time objects at a higher level
Common Lisp29
6 months ago
coq-haskell
A library for formalizing Haskell types and functions in Coq
Coq161bsd-3-clause
7 months ago
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 Lisp4369gpl-3.0
3 months ago
autoloaddeferred-loadingemacs