https://github.com/teorth/analysis
https://overreacted.io/the-math-is-haunted/
https://overreacted.io/a-lean-syntax-primer/
