作者共发了2篇帖子。
荒廢了很久，重新開始學習，現在AI也能寫lean4了
 |
25000行代碼的素數定理證明，20萬行代碼的球堆積問題證明，規模越來越大
|
|
上次到第五章以後就沒再繼續，這次爭取學完MIL全篇，有時間再看TPIL
|
作者共发了2篇帖子。
|
25000行代碼的素數定理證明，20萬行代碼的球堆積問題證明，規模越來越大
|
|
上次到第五章以後就沒再繼續，這次爭取學完MIL全篇，有時間再看TPIL
|
