Is there a program/website that can create and organize lists of mathematical theorems?

This page summarizes the projects mentioned and recommended in the original post on

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
  • mathlib

    Lean mathematical components library

    I'm not sure how useful this will be, since the question asks for a simple program, but maybe the LEAN theorem prover can be used to type in theorem statements. The theorems can be categorised by placing different theorems in different files (say one for algebra, another for analysis, and so on). Searching for specific theorems can be done by searching ("grepping", in Linux lingo) for the relevant text in the folder containing all the files.

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