Our great sponsors

If you're into programming, Lambda calculus, and type theory, you might want to check out the LEAN project.
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