principia Wiki

principia is a system for documenting formal mathematics.

Brought to you by: fundagain

Authors:

TeX is a typesetting system designed and mostly written by Donald Knuth and released in 1978.

See.