所有者 · HoTT

HoTT

HoTT 收录中的开源项目，按星标数排序。

共 2 个项目

#1
book ↗@HoTTTeX
非形式化同伦类型理论教科书
★ 2,168+0近 7 天星标变化
#2
Coq-HoTT ↗@HoTTRocq Prover
同伦类型理论的 Coq 库
★ 1,405+0近 7 天星标变化

← 返回所有者排行