Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender

Improving on AlphaProof: IMO 2024 Problem 2 in Lean 4

Kernel Reduction Explosion: a surprisingly inefficient computation in Lean 4

Coding Adventure: Simulating Fluids

3 Hours vs. 3 Years of Blender

Création d'un réseau de neurones convolutionnel

Introductory Proof with Lean 4 - Natural Numbers

How I make science animations

Infinitude of primes --- a Lean theorem prover demo

APM10-3: Convolutional Neural Networks

Automated Mathematical Proofs - Computerphile

Metaprograms and Proofs: Macros in Lean 4 (twelfth RacketCon)

Visualizing 4D Pt.1

APAKAH TUHAN AHLI MATEMATIKA??

Blender Tutorial for Complete Beginners - Part 1

Math Videos: How To Learn Basic Arithmetic Fast - Online Tutorial Lessons

Nebula Loop ~FREE Motion HD 4K~ BACKGROUND - SCREENSAVER

What is the Moebius function? #SomePi

An introduction to Lean 4, a functional programming language

IMO 1987 Problem 4: Animated Lean 4 Proof

COMPUTER SCIENCE explained in 17 Minutes