目前共有2篇帖子。
荒废了很久，重新开始学习，现在AI也能写lean4了
 |
25000行代码的素数定理证明，20万行代码的球堆积问题证明，规模越来越大
|
|
上次到第五章以后就没再继续，这次争取学完MIL全篇，有时间再看TPIL
|
目前共有2篇帖子。
|
25000行代码的素数定理证明，20万行代码的球堆积问题证明，规模越来越大
|
|
上次到第五章以后就没再继续，这次争取学完MIL全篇，有时间再看TPIL
|
