Tongue-in-cheek summaries of areas of mathematics

This page summarizes the projects mentioned and recommended in the original post on reddit.com/r/math
#Lean #theorem-proving #Formal Methods #formal-proofs #formal-mathematics

Our great sponsors
  • SonarLint - Deliver Cleaner and Safer Code - Right in Your IDE of Choice!
  • Scout APM - Less time debugging, more time building
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

  • mathlib

    Lean mathematical components library

    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.

Suggest a related project

Related posts