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