Learn main Lean defenitions and make your first imrpovements with Lean

Lean for beginners: make first steps and get first effects

InstructorAlex Chuvaev

Duration31m

Students423

Rating3.9 (16)