New top story on Hacker News: ATLAS: Autoformalized Textbook Library At Scale

ATLAS: Autoformalized Textbook Library At Scale
15 by vrm | 1 comments on Hacker News.
https://twitter.com/arnal_charles/status/2060009395107377282 , https://ift.tt/QfBjcq3 Paper: Formalizing Mathematics at Scale - https://ift.tt/1UXZctI