GitHub - facebookresearch/atlas-lean: ATLAS Autoformalized Textbook Library At Scale

ATLAS: Autoformalized Textbook Library At Scale

ATLAS Autoformalized Textbook Library At Scale. Contribute to facebookresearch/atlas-lean development by creating an account on GitHub.

25 points by vrm 147 days ago github.com 4 comments

Summary not yet generated for this article.

Original Text

https://twitter.com/arnal_charles/status/2060009395107377282, https://xcancel.com/arnal_charles/status/2060009395107377282

Paper: Formalizing Mathematics at Scale - https://arxiv.org/abs/2605.29955

Comments (4 of ) ⌛

Loading more comments... ⌛

Scroll down to load more comments

No comments available.