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

• Posted 10 hours ago by helloplanets
• 41 points