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

(youtube.com) by helloplanets | Mar 9, 2026 | 0 comments on HN