GitHub
ATLAS Autoformalized Textbook Library At Scale
On GitGem
Written in Lean, licensed under Custom.
It has been tracked on GitGem.org since May 30, 2026. It has 224 stars and 23 forks, with its most recent commit about a month ago.
See the Lean trending boardStars
224
Forks
23
Open Issues
2
Language
Lean
License
Custom
Last Commit
Jun 2
Comments
No comments yet. Be the first!
You will sign in with GitHub to post. Your draft is kept.