facebookresearch/atlas-lean

ATLAS Autoformalized Textbook Library At Scale

32 best points · 4 comments · 1 Hacker News post · 332 GitHub stars · View on GitHub

Hacker News discussions

• ATLAS: Autoformalized Textbook Library At Scale (32 points, 4 comments, by vrm, 2026-05-28)