lean-dojo

Githubhttps://leandojo.org/Followers 427

代码库

lean-dojo/LeanDojo-v2

128

LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.

Python

lean4librarymachine-learningtheorem-proving