Terence Tao: Formalizing a proof in Lean using Claude Code [video]
youtube.com
March 9, 2026
1 min read
🔥🔥🔥🔥🔥
44/100
Summary
Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
