Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender Share: Download MP3 Similar Tracks Kernel Reduction Explosion: a surprisingly inefficient computation in Lean 4 David Renshaw Improving on AlphaProof: IMO 2024 Problem 2 in Lean 4 David Renshaw Nicer Trees Spend Fewer Bytes: compressing 12947 Wordle words into 12155 bytes David Renshaw Introductory Proof with Lean 4 - Natural Numbers MathPom This Simple Algorithm Powers Real Interpreters: Pratt Parsing Core Dumped When Computers Write Proofs, What's the Point of Mathematicians? Quanta Magazine Infinitude of primes --- a Lean theorem prover demo leanprover community How Imaginary Numbers Were Invented Veritasium But what is a convolution? 3Blue1Brown Automated Mathematical Proofs - Computerphile Computerphile But what are Hamming codes? The origin of error correction 3Blue1Brown Why Runge-Kutta is SO Much Better Than Euler's Method #somepi Phanimations What P vs NP is actually about Polylog But what is a neural network? | Deep learning chapter 1 3Blue1Brown Addition, multiplication, ... what comes next? (It's not exponents) UnaryPlus Lean 4 formalization of 1964 International Mathemetical Olympiad Problem 1b David Renshaw The Chinese periodic table goes hard ElitPonkots How to unify logic & arithmetic All Angles
