Terence Tao
| YouTube | https://www.youtube.com/channel/UCCGfqB7qtWIktmPyf5UMcbw |
| Videos watched | 1 |
Watched Videos
| Title | Played | |
|---|---|---|
 |
Formalizing a proof in Lean using Claude Code | 1 |
| YouTube | https://www.youtube.com/channel/UCCGfqB7qtWIktmPyf5UMcbw |
| Videos watched | 1 |
| Title | Played | |
|---|---|---|
|
Formalizing a proof in Lean using Claude Code | 1 |