Category Theory | Ts Cat | |
---|---|---|
Stars | 720 | 7 |
Downloads | ||
Dependent Packages | 1 | |
Dependent Repos | ||
Most Recent Commit | 4 months ago | a year ago |
Total Releases | 10 | |
Latest Release | January 06, 2020 | |
Open Issues | 4 | 23 |
License | bsd-3-clause | mit |
Programming Language | Coq | TypeScript |