Is This the End of Handwritten Math? Introducing Lean [video] #1 Post by AbstractPlay » Sat, Nov 01, 2025, 9:24 PM UTC Is This the End of Handwritten Math? Introducing Lean [video]youtube.com