LeanDojo
Machine Learning for Theorem Proving in Lean
- 308 followers
- United States of America
- https://leandojo.org/
Pinned Loading
Repositories
Showing 8 of 8 repositories
- LeanVision Public
lean-dojo/LeanVision’s past year of commit activity