External Source

Formalizing A Proof In Lean Using Claude And O4

2025 31:45
Synopsis
Following on from the previous video at https://www.youtube.com/watch?v=cyyR7j2ChCI, I now attempt to formalize a different ...

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
LEAN: Proving Math With AI 0:41
Lean: Proving Math With Ai
2024
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 by hand 56:42
Formalizing A Proof In Lean By Hand
2025
How Terence Tao uses AI with Lean programming language | Terence Tao and Lex Fridman 8:21
How Terence Tao Uses Ai With Lean Programming Language | Ter...
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
How to learn Lean programming language | Terence Tao and Lex Fridman 4:27
How To Learn Lean Programming Language | Terence Tao And Lex...
2025
Introductory Proof with Lean 4 - Natural Numbers 11:54
Introductory Proof With Lean 4 - Natural Numbers
2022
Lean for Scientists and Engineers, Summer 2024 - Lecture 4 2:01:23
Lean For Scientists And Engineers, Summer 2024 - Lecture 4
2025
How Mathematicians can Get Started with Lean 31:47
How Mathematicians Can Get Started With Lean
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.