principia Wiki
principia is a system for documenting formal mathematics.
Brought to you by:
fundagain
Menu
▾
▴
LaTeX
LaTeX is a document markup language and document preparation system for the [TeX] typesetting program.
See.
Related
Wiki: Hello Principia World
Wiki: Home
Wiki: LaTeX package
Wiki: MiKTeX
Wiki: No src Restriction
Wiki: Playing with Principia
Wiki: PriTeX delimiters
Wiki: PriTeX file
Wiki: Sets.tex
Wiki: TeXlipse
Wiki: document
Wiki: package
Wiki: pritex
