External Source

Formalizing A Proof In Lean By Hand

2025 56:42
Synopsis
In this video, we tackle a more realistic formalization problem, filling in one of the lemmas needed in one of the secondary goals of ...

You Might Also Like

Terence Tao -- Formalizing a proof in Lean by hand - Copilot - Claude & o4 - copilot & canonical 2:45:29
Terence Tao -- Formalizing A Proof In Lean By Hand - Copilot...
2025
Formalizing a proof in Lean using Github copilot and canonical 34:39
Formalizing A Proof In Lean Using Github Copilot And Canonic...
2025
Formalizing a proof in Lean using Github Copilot only 42:08
Formalizing A Proof In Lean Using Github Copilot Only
2025
10 minute Lean tutorial : proving logical propositions 7:53
10 Minute Lean Tutorial : Proving Logical Propositions
2020
Formalizing a proof in Lean using Claude and o4 31:45
Formalizing A Proof In Lean Using Claude And O4
2025
Is This the End of Handwritten Math? Introducing Lean 34:35
Is This The End Of Handwritten Math? Introducing Lean
2025
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI 47:15
Formalizing The Future: Lean’s Impact On Mathematics, Prog...
2025
How to learn Lean programming language | Terence Tao and Lex Fridman 4:27
How To Learn Lean Programming Language | Terence Tao And Lex...
2025
Infinitude of primes --- a Lean theorem prover demo 23:35
Infinitude Of Primes --- A Lean Theorem Prover Demo
2020
Introductory Proof with Lean 4 - Natural Numbers 11:54
Introductory Proof With Lean 4 - Natural Numbers
2022
Formalizing Combinatorics Definitions in the Lean Theorem Prover - Alena Gusakov 28:16
Formalizing Combinatorics Definitions In The Lean Theorem Pr...
2025
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.