tutorial

Stream: general

[alex chan]

Can anyone make complete video tutorial about lean4. Start from A B C ... in segmented section.
I am following youtube channel of 'John G. Fisher' and he had great stream but Udemy type course will be very useful.

[Kevin Buzzard]

I'm afraid that right now lean 4 doesn't even have a release and fundamental things might change so tutorials might rot very quickly. Have you seen Theorem Proving In Lean 4? https://leanprover.github.io/theorem_proving_in_lean4/ It's not videos but it's an excellent introduction with exercises