2 ms·
Video demonstrating what it's like to use Lean interactively: https://www.youtube.com/watch?v=p4IrbnPomXg https://www.youtube.com/watch?v=p4IrbnPomXg
by dharmatech 6y ago
Video demonstrating what it's like to use Lean interactively:
https://www.youtube.com/watch?v=p4IrbnPomXg https://www.youtube.com/watch?v=p4IrbnPomXg