Next.js Hacker News
Is This the End of Handwritten Math? Introducing Lean [video]
3 points by AbstractPlay 19 hours ago | discuss