Principia is extremely impressive, they document all their math here: https://github.com/mockingbirdnest/Principia/tree/master/documentation https://github.com/

Principia is extremely impressive, they document all their math here: https://github.com/mockingbirdnest/Principia/tree/master/documentation https://github.com/mockingbirdnest/Principia/tree/master/doc... One interesting detail is that the source code makes extensive use of non-ASCII identifiers, for mathematical symbols and for the names of mathematicians. One of the two primary contributors is also an active contributor to Unicode