tensor-theorem-prover

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

MIT License

Downloads
1.3K
Stars
7
Committers
2
View Code on GitHub Visit Website
Ecosystems: Rust

Bot releases are hidden (Show)

tensor-theorem-prover - v0.13.3

Published by chanind over 1 year ago

Fix

Package Rankings
Top 19.86% on Pypi.org
Badges
Extracted from project README
ci Codecov PyPI Documentation Status