Category Theory | Kan Extensions | |
---|---|---|
Stars | 720 | 74 |
Downloads | ||
Dependent Packages | ||
Dependent Repos | 50 | |
Most Recent Commit | 4 months ago | 6 months ago |
Total Releases | 58 | |
Latest Release | June 26, 2022 | |
Open Issues | 4 | 22 |
License | bsd-3-clause | other |
Programming Language | Coq | Haskell |