chanind / tensor-theorem-prover

First-order logic theorem prover supporting unification with approximate vector similarity

https://tensor-theorem-prover.readthedocs.io

Geek Repo

Github PK Tool