ViewTube

ViewTube
Sign inSign upSubscriptions

Terence Tao

0 subscribers

HomeVideosShortsLivePlaylistsCommunityChannels

Sort by

Newest

Oldest

Popular

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

32,054 views

7 months ago

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

17,987 views

8 months ago

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

48,644 views

8 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

73,682 views

8 months ago