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

github.com/chanind/tensor-theorem-prover
by @chanind

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.