Geeks
lixiang90
/
formalmath
A formal mathematics package.
Primary Language
Python
GNU General Public License v2.0
GPL-2.0
formalmath GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
Stargazers
Samuelhzx