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:
68
Downloads last week:
125
Downloads last month:
75
7-day smoothing