nixpkgs / coqPackages.category-theory - A formalization of category theory in Coq for personal study and practical work

Homepage - https://github.com/jwiegley/category-theory

Maintainers - John Wiegley

Outputs

out (expand/collapse)

Releases

20210730 (expand/collapse)
From commit 064b1e0c to 00460bd6
20190414 (expand/collapse)
From commit 0218f30a to 05fe6112
20181016 (expand/collapse)
From commit 0767de3d to 0767de3d
20190414 (expand/collapse)
From commit 0281599a to 00610756
20181016 (expand/collapse)
From commit 071a4db3 to 071a4db3
20190414 (expand/collapse)
From commit 046390bf to 0732203c
20181016 (expand/collapse)
From commit 02d79ced to 02d79ced
20190414 (expand/collapse)
From commit 03d3ed3e to 03d3ed3e
20181016 (expand/collapse)
From commit 03b9bc9e to 07bbae0b