Lean proof-automation Projects
Lean mathematical components libraryProject mention: Why is simplicity so unreasonably effective at scientific explanation? | reddit.com/r/slatestarcodex | 2021-10-13
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.
Are you hiring? Post a new remote job listing for free.