package coq-category-theory
An axiom-free formalization of category theory in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
1.0.0.tar.gz
sha256=d8a9fce1e20d0bd6e756957bf40c4deee1d83732c6c949a1dc5c290136ced60b
Description
An axiom-free formalization of category theory in Coq for personal study and practical work.
Tags
keyword: category theory category: Mathematics/Category Theory date: 2022-07-22 logpath: CategoryPublished: 22 Jul 2022
Dependencies
None
Dev Dependencies (2)
-
coq-equations
(>= "1.2" & < "1.4~") | (= "dev") -
coq
(>= "8.14" & < "8.17~") | (= "dev")
Used by
None
Conflicts
None
On This Page