A collection of mathematical knowledge in a formal, correct form.
An embeddable NoSQL database engine.