Lean formal-mathematic 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.
Lean formal-mathematics related posts
Why is simplicity so unreasonably effective at scientific explanation?
1 project | reddit.com/r/slatestarcodex | 13 Oct 2021
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
1 project | reddit.com/r/Collatz | 8 Sep 2021
Tongue-in-cheek summaries of areas of mathematics
1 project | reddit.com/r/math | 15 Aug 2021
Galois Groups and the Symmetries of Polynomials
1 project | news.ycombinator.com | 4 Aug 2021
Is there a program/website that can create and organize lists of mathematical theorems?
1 project | reddit.com/r/math | 7 Jul 2021
ITS MOCHIZUKI TIME
1 project | reddit.com/r/badmathematics | 6 Mar 2021
Is there a book like Russell's Principia Mathematica but for modern day mathematics?
3 projects | reddit.com/r/math | 7 Feb 2021
Are you hiring? Post a new remote job listing for free.