There are currently 2 posts.
听上去lean4可以用来做数学证明题
 |
确实，不过一般是用于验证证明的正确性
|
 |
原来如此
那看来可以用于做小学、初中、高中的数学题？ |
There are currently 2 posts.
|
确实，不过一般是用于验证证明的正确性
|
|
原来如此
那看来可以用于做小学、初中、高中的数学题？ |
