Our great sponsors

No, they really are  you've just internalized the vast majority of the content already. This is what a moderately careful (Lean makes some mildly questionable compromises regarding quotients) attempt at building up calculus from first principles looks like. And this is still assuming quite a bit of foundation. Human beings are much better at math than a bunch of apes barely down from the trees have any right to be  but that doesn't make math any smaller.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.
Related posts
 This is just an attempt I'm trying to get better at writing proofs I know I'm an idiot so please be constructive if you are criticizing
 Tongueincheek summaries of areas of mathematics
 Galois Groups and the Symmetries of Polynomials
 Is there a program/website that can create and organize lists of mathematical theorems?
 ITS MOCHIZUKI TIME