category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

BSD-3-CLAUSE License

Stars
748
Committers
18

Commit Statistics

Past Year

All Time

Total Commits
29
1,418
Total Committers
8
21
Avg. Commits Per Committer
3.63
67.52
Bot Commits
0
0

Issue Statistics

Past Year

All Time

Total Pull Requests
13
131
Merged Pull Requests
13
113
Total Issues
3
19
Time to Close Issues
7 months
12 months
Related Projects