擁有者 · HoTT

HoTT

HoTT 收錄中的開源專案，依星數排序。

共 2 個專案

#1
book ↗@HoTTTeX
非形式化同倫型別理論教科書
★ 2,168+1近 7 天星數變化
#2
Coq-HoTT ↗@HoTTRocq Prover
同倫型別理論的 Coq 圖書館
★ 1,405+1近 7 天星數變化

← 返回擁有者排行