ViewTube

ViewTube
Sign inSign up

Sort by

Newest

Oldest

Popular

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

57,535 views

1 day ago

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

35,265 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,434 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,510 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

75,518 views

9 months ago