Full threaddharmatech·Video demonstrating what it's like to use Lean interactively:https://www.youtube.com/watch?v=p4IrbnPomXgView on HN