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

119,468 views

7 days ago

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

37,709 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,713 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,824 views

10 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,704 views

10 months ago