主題 · cartesian
cartesian
標記 cartesian 主題、收錄中的開源專案，依星數排序。
專案數
1
總星數
807
平均星數
807
佔比
0.00%
相關主題
常跟 cartesian 一起出現在同一個專案上的主題。
近期新秀
近 90 天內建立、標記 cartesian 主題的專案。
近 90 天內還沒有新專案標記這個主題。
- #1
在 Coq 中進行個人研究與實務工作的範疇論（Category Theory）無公理形式化
★ 807+1近 7 天星數變化
標記 cartesian 主題、收錄中的開源專案，依星數排序。
常跟 cartesian 一起出現在同一個專案上的主題。
近 90 天內建立、標記 cartesian 主題的專案。
近 90 天內還沒有新專案標記這個主題。
在 Coq 中進行個人研究與實務工作的範疇論（Category Theory）無公理形式化