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