The latest version of tensor-theorem-prover with no known security vulnerabilities is 0.14.0. We recommend installing version 0.14.0.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
- Latest release
-
v0.14.0 at Feb. 7, 2023
- License
-
MIT (MIT License)
Description
Customizable first-order logic theorem prover supporting approximate vector similarity in unification
No known vulnerabilities found
Has known vulnerabilities
- 0.14.0
- 0.13.8
- 0.13.7
- 0.12.1a0
- 0.12.0
- 0.11.3
- 0.11.2
- 0.11.1
- 0.11.0
- 0.10.2
- 0.10.1
- 0.10.0
- 0.9.0
- 0.8.0
- 0.7.0
- 0.6.2
- 0.6.1
- 0.6.0
- 0.5.0
- 0.4.0