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