The latest version of lean-dojo with no known security vulnerabilities is 1.8.1. We recommend installing version 1.8.1.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
- Latest release
-
v1.8.1 at April 11, 2024
- License
-
MIT (MIT License)
Description
LeanDojo: Machine Learning for Theorem Proving in Lean
No known vulnerabilities found
Has known vulnerabilities
- 1.8.1
- 1.8.0
- 1.7.1
- 1.7.0
- 1.6.0
- 1.5.1
- 1.5.0
- 1.4.5
- 1.4.4
- 1.4.3
- 1.4.2
- 1.4.1
- 1.4.0
- 1.3.0
- 1.2.6
- 1.2.5
- 1.2.4
- 1.2.3
- 1.2.2
- 1.2.1