Topic · cartesian
cartesian
Tracked open-source repos tagged cartesian, sorted by stars.
Repos
1
Total stars
807
Avg. stars
807
Share
0.00%
Related topics
Topics that frequently appear alongside cartesian on the same repo.
Recent risers
Repos created in the last 90 days, tagged cartesian.
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
