Formalizing a proof in Lean using Claude Code

https://www.youtube.com/watch?v=JHEO7cplfk8
Channel: Terence Tao
Times watched: 1
Watch Times
Date Before
2026-03-10 19:59 8 months