login sign up

Terence Tao: Formalizing a proof in Lean using Claude Code [video]

news.ycombinator.com
saved by
0 people
related read on
Formalizing a proof in Lean using Claude Code discussion