/Auto-prove-machine

this can prove theorem by Mathematical method.

Primary LanguagePython

No issues in this repository yet.