gentoo.mahdi.cz
dev-python
:formalmath
a python port of formal mathematics proof verifier.
https://github.com/lixiang90/formalmath.git
formalmath-0.0.9
download
~amd64 ~x86
pypi