Home › Other › atlas-lean

atlas-lean

by facebookresearch · github.com/facebookresearch/atlas-lean

ATLAS Autoformalized Textbook Library At Scale

Stars
★ 274
Forks
30
Language
Lean
Category
Other
License
NOASSERTION
lean

View on GitHub ↗

Featured in