I recently completed a course on Learning Lean and...

I recently completed a course on Learning Lean and found it to be an excellent learning platform. The content is comprehensive and well-explained. The quizzes and assignments helped me solidify my understanding. I appreciate that Learning Lean offers both theoretical and practical knowledge. It has been a valuable learning experience for me.