定下計劃_lean4吧_Purasbar

作者共发了1篇帖子。

定下計劃

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

明天繼續學習lean4數學形式化，教程學會以後，對看過的一些數學書做形式化

回复帖子