数学前沿

林一二2026年05月04日 12:14
想法游戏设定

与牛顿和莱布尼茨等同台竞技，使用lean4语言证明他们还没解决的问题。

参考 https://github.com/teorth/analysis

数学前沿