tensor-theorem-prover (pypi): Customizable first-order logic theorem prover supporting approximate vector similarity in unification
Keywords: theorem-proving|logic|first-order|unification|reasoning|first-order-logic|symbolic-logic