principia Wiki
principia is a system for documenting formal mathematics.
Brought to you by:
fundagain
Menu
▾
▴
PriTeX
PriTeX is an interpretation of Principia in LaTeX.
In order to use Principia from LaTeX, the LaTeX document must use the package [pritex].
Related
Wiki: Hello Principia World
Wiki: Installing Eclipse and TeXlipse
Wiki: Installing Principia
Wiki: No src Restriction
Wiki: Playing with Principia
Wiki: PriTeX delimiters
Wiki: PriTeX file
Wiki: pritex.sty
Wiki: pritex
