Topic · cartesian-closed-category
cartesian-closed-category
Tracked open-source repos tagged cartesian-closed-category, sorted by stars.
Repos
1
Total stars
807
Avg. stars
807
Share
0.00%
Related topics
Topics that frequently appear alongside cartesian-closed-category on the same repo.
Recent risers
Repos created in the last 90 days, tagged cartesian-closed-category.
No new repos tagged with this topic in the last 90 days.
- #1
An axiom-free formalization of category theory in Coq for personal study and practical work
★ 807+1Star change over the last 7 days
