hacker news Hacker News
  1. new
  2. show
  3. ask
  4. jobs
https://twitter.com/arnal_charles/status/2060009395107377282, https://xcancel.com/arnal_charles/status/2060009395107377282

Paper: Formalizing Mathematics at Scale - https://arxiv.org/abs/2605.29955

loading...