An explanation of why e is transcendental with reference to lean code in my other repository.
See a fuller picture (would be constantly updated until September 2020 because that time is deadline)
A note on real analysis. I expect there to be a lot of typos.
presentation on Construction of Proj as a scheme
Čech cohomology
homotopy type theory
invitation