Hacker News new | ask | show | jobs
by dharmatech 2052 days ago
Video demonstrating what it's like to use Lean interactively:

https://www.youtube.com/watch?v=p4IrbnPomXg