ATLAS: Autoformalized Textbook Library At Scale

by vrm | View on Hacker News