principia Wiki
principia is a system for documenting formal mathematics.
Brought to you by:
fundagain
Menu
▾
▴
TeX Live
TeX Live is a free software distribution for the TeX typesetting system that includes major TeX-related programs, macro packages, and fonts. http://en.wikipedia.org/wiki/TeX_Live
Related
Wiki: Install PriTeX. TeX Live details.
Wiki: Installing Principia
