tensor-theorem-prover

PyPI page
Home page
Author: David Chanin
License: MIT
Summary: Customizable first-order logic theorem prover supporting approximate vector similarity in unification
Latest version: 0.14.0


Downloads last day: 2
Downloads last week: 26
Downloads last month: 65