Proof & Program — AI-Assisted Formal Mathematics : What a day !

...
  • 17 February 2026