目前共有2篇帖子。
聽上去lean4可以用來做數學證明題
 |
確實，不過一般是用於驗證證明的正確性
|
 |
原來如此
那看來可以用於做小學、初中、高中的數學題？ |
目前共有2篇帖子。
|
確實，不過一般是用於驗證證明的正確性
|
|
原來如此
那看來可以用於做小學、初中、高中的數學題？ |
