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

作者共發了1篇帖子。

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

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

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

回覆帖子