ATLAS: Autoformalized Textbook Library At Scale - Tech Sentiments