定下计划_lean4吧_Purasbar

作者共发了1篇帖子。

定下计划

1楼悄悄打开魔盒 2025-2-11 22:43

明天继续学习lean4数学形式化，教程学会以后，对看过的一些数学书做形式化

回复帖子