ATLAS: Autoformalized Textbook Library At Scale Von Hackernews 28. Mai 2026 security ORIGINAL QUELLE:github.com Quelle: Hackernews Comments Tags: 3iatlas, autoformalized, comments, Security, textbook