RSS Anyway logo
HotLatestFollowingStatusAbout

github.com

Sign in to follow

https://github.com/facebookresearch/atlas-lean/releases.atom

RSSAtomJSON
← github.com
  1. 01.
    ATLAS: Autoformalized Textbook Library At Scale
    github.com · /facebookresearch/atlas-lean/releases.atom
    ▲ 32 · May 28 · 4 comments on HN

Recent polls

whenmsitemsstatus
Jun 21140ok
Jun 11110ok
Jun 11060ok
Jun 11230ok
Jun 1940ok