ViewTube

Sort by

Newest

Oldest

Popular

Formalizing a proof in Lean using Claude Code

Formalizing a proof in Lean using Claude Code

63,831 views

1 day ago

Formalizing a proof in Lean by hand

Formalizing a proof in Lean by hand

35,478 views

9 months ago

Formalizing a proof in Lean using Github Copilot only

Formalizing a proof in Lean using Github Copilot only

18,459 views

9 months ago

Formalizing a proof in Lean using Claude and o4

Formalizing a proof in Lean using Claude and o4

49,528 views

9 months ago

Formalizing a proof in Lean using Github copilot and canonical

Formalizing a proof in Lean using Github copilot and canonical

75,553 views

9 months ago