gentoo.mahdi.cz
dev-python
:tensor-theorem-prover
Customizable first-order logic theorem prover supporting approximate vector similarity in unification
https://github.com/chanind/tensor-theorem-prover
tensor-theorem-prover-0.14.0
MIT
download
~amd64 ~x86
pypi