听上去lean4可以用来做数学证明题_lean4吧_Purasbar

作者共发了1篇帖子。

听上去lean4可以用来做数学证明题

4楼悄悄打开魔盒 2024-5-2 15:38

确实，不过一般是用于验证证明的正确性

回复帖子