|
|
|
|
|
|
by Georgelemental
812 days ago
|
|
|
Principia is extremely impressive, they document all their math here: 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 |
|
|