ViewTube

ViewTube
Sign inSign upSubscriptions

Terence Tao

0 subscribers

HomeVideosShortsLivePlaylistsCommunityChannels

Sort by

Newest

Oldest

Popular

Formalizing a proof in Lean using Claude Code
00:26:29
Formalizing a proof in Lean using Claude Code

103,104 views

3 days ago

Formalizing a proof in Lean by hand
00:56:42
Formalizing a proof in Lean by hand

36,533 views

9 months ago

Formalizing a proof in Lean using Github Copilot only
00:42:08
Formalizing a proof in Lean using Github Copilot only

18,607 views

9 months ago

Formalizing a proof in Lean using Claude and o4
00:31:45
Formalizing a proof in Lean using Claude and o4

49,692 views

9 months ago

Formalizing a proof in Lean using Github copilot and canonical
00:34:39
Formalizing a proof in Lean using Github copilot and canonical

76,287 views

10 months ago