所有者 · 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 天星标变化

← 返回所有者排行