Playboi Carti - Lean 4 Real ft. Skepta (Official Music Video) Living Wrath 2:57 3 years ago 64 514 Далее Скачать
Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender David Renshaw 8:47 5 months ago 8 655 Далее Скачать
Lean 4 overview for Mathlib users - Patrick Massot leanprover community 40:19 1 year ago 4 270 Далее Скачать
Leonardo de Moura: "Lean 4: Empowering the Formal Mathematics Revolution and Beyond" Topos Institute 1:18:06 Streamed 1 year ago 3 989 Далее Скачать
Improving on AlphaProof: IMO 2024 Problem 2 in Lean 4 David Renshaw 6:39 3 months ago 2 920 Далее Скачать
Learning To Code In Lean 4 With A Friend: Starting Out Richard Southwell 50:59 1 year ago 5 296 Далее Скачать
Kernel Reduction Explosion: a surprisingly inefficient computation in Lean 4 David Renshaw 10:45 11 months ago 1 756 Далее Скачать
Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura Media Certora 1:18:08 1 year ago 7 818 Далее Скачать
Infinitude of primes --- a Lean theorem prover demo leanprover community 23:35 4 years ago 29 358 Далее Скачать
Lean Together 2021: An overview of Lean 4 leanprover community 2:03:36 3 years ago 7 492 Далее Скачать
