ViewTube

Sort by

Newest

Oldest

Popular

Formalizing a proof in Lean using Claude Code

Formalizing a proof in Lean using Claude Code

120,545 views

8 days ago

Formalizing a proof in Lean by hand

Formalizing a proof in Lean by hand

37,778 views

9 months ago

Formalizing a proof in Lean using Github Copilot only

Formalizing a proof in Lean using Github Copilot only

18,723 views

9 months ago

Formalizing a proof in Lean using Claude and o4

Formalizing a proof in Lean using Claude and o4

49,847 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,763 views

10 months ago