LeanDojo v2

leandojo.orgsite

Open-source framework and benchmark data for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.

from

Math

added

2026-10-10

likes

0

similar

1. ▲
   Lean Proof Assistant lean-lang.org

   site category #theoretical-computer-science link ↗

   Lean Proof Assistant.

   
2. ▲
   Lean lean-lang.org

   site category #math link ↗

   Open-source interactive theorem prover and programming language based on dependent type theory, used for formal mathematics and software verification.

   
3. ▲
   Learnly AI learnlyai.co.uk

   site category #research link ↗
4. ▲
   FairLearn fairlearn.github.io

   site category #seml link ↗

   A toolkit to assess and improve the fairness of machine learning models.

   
5. ▲
   LDA.js github.com

   tool category #machine-learning link ↗
   
6. ▲
   Online LDA alexminnaar.com

   site category #machine-learning-tutorials link ↗

   , Online LDA with Spark

Math › Mathematical Practice > AI for Mathematics: “Open-source framework and benchmark data for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.”