Learning Lean to contribute to mathlib
In this repo I'm putting my learning stuff. In particular, I'm going through different Lean tutorials, and for convenience I'm cloning exercises from them here (and code from mathlib), and editing as I advance through them.
Edit. This repo has been deprecated after the move to Lean 4.