In this repo you can find reference solutions to Theorem Proving in Lean exercises. It is a work in progess, and is still missing the more advanced chapters (contributions are welcome).
These are not official or officially tested solutions. They are simply a newbie's best effort, and are provided to help other newbies in their learning efforts.