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

ATLAS: Autoformalized Textbook Library At Scale
10 by vrm | 0 comments on Hacker News.
https://twitter.com/arnal_charles/status/2060009395107377282 , https://ift.tt/ixNItMX Paper: Formalizing Mathematics at Scale - https://ift.tt/BawVF0u