Offline
day
week
ATLAS: Autoformalized Textbook Library At Scale
6 points
|
github.com
|
vrm
|
28hrs
https://twitter.com/arnal_charles/status/2060009395107377282