Hacker News new | ask | show | jobs
Is This the End of Handwritten Math? Introducing Lean [video] (youtube.com)
3 points by AbstractPlay 236 days ago