logoalt Hacker News

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

13 points • by helloplanets • today at 9:51 AM • 0 comments • view on HN

Comments