目前共有5篇帖子。
听上去lean4可以用来做数学证明题
 |
如题
|
|
|
 |
同好奇
 
|
 |
确实，不过一般是用于验证证明的正确性
|
目前共有5篇帖子。
|
如题
|
|
|
|
同好奇
|
|
确实，不过一般是用于验证证明的正确性
|
那看来可以用于做小学、初中、高中的数学题？