This repository is a mathematics library, written in Acorn, building up mathematics from the inherent axioms. The implementation of the Acorn language itself, the integrated AI, and the VS Code ...