Our great sponsors

Hey this is really cool. I want to start doing the same thing.
Visual group theory is a really nice book for intuition. Also, the YouTube series "Essence of Group Theory" can help in this same line.
What I also want to do while self learning is formalizing some theorems and definitions in Lean. Even just looking at how they're already defined in mathlib [1] can be of great help when internalizing the concepts.
https://github.com/leanprovercommunity/mathlib/blob/292e3fa...
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
 There’s more to mathematics than rigour and proofs
 The Lean Theorem Prover
 Is there a formal proof that all integers can be expressed as the sum of four squares?
 Why is simplicity so unreasonably effective at scientific explanation?
 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