Introduction:
I've recently started to work on a set of papers on definitions, theorem, proof, and Lean writing. The purpose of the work is to be as resuable as possible, letting someone cite the work and then use the work as it please.
It is licensed under CC-BY-SA 4.0.
URL: https://github.com/publications-and-more/little_learner
Moreover:
My slides are also available on GitHub, under the following URL: https://github.com/publications-and-more/conference_pub