ViewTube

Sort by

Newest

Oldest

Popular

Formalizing a proof in Lean using Claude Code

Formalizing a proof in Lean using Claude Code

119,468 views

7 days ago

Formalizing a proof in Lean by hand

Formalizing a proof in Lean by hand

37,709 views

9 months ago

Formalizing a proof in Lean using Github Copilot only

Formalizing a proof in Lean using Github Copilot only

18,713 views

9 months ago

Formalizing a proof in Lean using Claude and o4

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

Formalizing a proof in Lean using Github copilot and canonical

76,704 views

10 months ago