Geeks
Alwaysproblem
/
Auto-prove-machine
this can prove theorem by Mathematical method.
Primary Language
Python
Auto-prove-machine GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
Stargazers
Alwaysproblem
Renesas