Hacker News new | ask | show | jobs
by dharmatech 1117 days ago
Demo of Lean I recorded a few years back:

https://youtu.be/p4IrbnPomXg