Versions
Description
First-order logic theorem prover supporting unification with approximate vector similarity
Repository
https://github.com/chanind/tensor-theorem-prover.git
Project Slug
tensor-theorem-prover
Last Built
1 year, 2 months ago passed
Maintainers
Home Page
https://github.com/chanind/tensor-theorem-prover
Badge
Tags
embeddings, logic, theorem-prover
Short URLs
tensor-theorem-prover.readthedocs.io
tensor-theorem-prover.rtfd.io
Default Version
latest
'latest' Version
main