External Source

Formalizing A Proof In Lean Using Github Copilot And Canonical

2025 34:39
Synopsis
In this experiment, I took a statement in universal algebra that a collaborator of mine (Bruno Le Floch) on the Equational Theories ...

You Might Also Like

Formalizing a proof in Lean using Github Copilot only 42:08
Formalizing A Proof In Lean Using Github Copilot Only
2025
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 Claude and o4 31:45
Formalizing A Proof In Lean Using Claude And O4
2025
Formalizing results of my perfect cuboid proof in Lean language using VSCode's GitHub Copilot I 1:24:16
Formalizing Results Of My Perfect Cuboid Proof In Lean Langu...
2025
AI-assisted Lean formalization of my perfect cuboid proof with GitHub Copilot II 1:00:25
Ai-assisted Lean Formalization Of My Perfect Cuboid Proof Wi...
2025
Lean Copilot 1:41
Lean Copilot
2023
Generate a test suite with GitHub Copilot and PDD 13:46
Generate A Test Suite With Github Copilot And Pdd
2025
Solving big problems with GitHub Copilot 10:19
Solving Big Problems With Github Copilot
2023
Using GitHub Copilot to solve a real-world programming problem 11:37
Using Github Copilot To Solve A Real-world Programming Probl...
2022
Introductory Proof with Lean 4 - Natural Numbers 11:54
Introductory Proof With Lean 4 - Natural Numbers
2022
10 minute Lean tutorial : proving logical propositions 7:53
10 Minute Lean Tutorial : Proving Logical Propositions
2020
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.