擁有者 · teorth

teorth

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

共 3 個專案

#1
analysis ↗@teorthLean
Analysis I 的 Lean 輔助教材
★ 1,881+0近 7 天星數變化
#2
erdosproblems ↗@teorthPython
erodsproblems.com 網站上問題的社群資料庫
★ 851+6近 7 天星數變化
#3
equational_theories ↗@teorthLean
繪製 Magmas 不同等式理論之間關係的專案
★ 554+1近 7 天星數變化

← 返回擁有者排行