Let's code math | Lean4 | Theorem prover

Let's code math | Lean4 | Theorem prover
Share:

Download MP3


Similar Tracks

7 Levels of SAT Math Prepworks Education
Infinitude of primes --- a Lean theorem prover demo leanprover community
Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024 DeFi Security Summit
Discovering Communities: Modularity & Louvain #SoMe3 Splience
Kernel Reduction Explosion: a surprisingly inefficient computation in Lean 4 David Renshaw
The Linear Algebra behind sound | Fourier Analysis #SoMePi Splience
True Meaning of 2nd Derivative Test | Symmetric Tensors, Spectral Theorem, Principal Axes Theorem EpsilonDelta
The Future of Mathematics? Microsoft Research
When CAN'T Math Be Generalized? | The Limits of Analytic Continuation Morphocular
Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender David Renshaw
Lean for the Curious Mathematician 2023 Basics leanprover community
Limits, L'Hôpital's rule, and epsilon delta definitions | Chapter 7, Essence of calculus 3Blue1Brown
When Computers Write Proofs, What's the Point of Mathematicians? Quanta Magazine
Programming with Math | The Lambda Calculus Eyesomorphic
Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura Certora
What Is an Interactive Theorem Prover? | Kevin Buzzard Pietro Monticone
Introductory Proof with Lean 4 - Natural Numbers MathPom
Automated Mathematical Proofs - Computerphile Computerphile
Why is the determinant like that? broke math student