Our great sponsors
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
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.
Related posts
- An Easy-Sounding Problem Yields Numbers Too Big for Our Universe
- Towards a new SymPy: part 2 – Polynomials
- It's not mathematics that you need to contribute to (2010)
- Did studying proof based math topics e.g. analysis make you a better programmer?
- Which proof assistant is the best to formalize real analysis/probability/statistics?