聽上去lean4可以用來做數學證明題_lean4吧_Purasbar

作者共发了1篇帖子。

聽上去lean4可以用來做數學證明題

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

確實，不過一般是用於驗證證明的正確性

回复帖子