Getting Started with Lean4 Video

Stream: lean4

[Chris Lovett]

I put together a real quick video: Getting Started with Lean4 which might be handy if you are trying to help a group of new students get up and running quickly. Enjoy!

[Mario Carneiro]

very nice, well structured and makes all the setup look really smooth

[Chris Lovett]

Thanks and here's an even shorter version for those who have impatient students: https://youtu.be/yZo6k48L0VY :-)