principia Wiki
principia is a system for documenting formal mathematics.
Brought to you by:
fundagain
Menu
▾
▴
Principia
Principia is a language and a system for documenting formal mathematics.
Related
Wiki: Home
Wiki: Installing Eclipse and TeXlipse
Wiki: Installing Principia
Wiki: Java
Wiki: Playing with Principia
Wiki: PriTeX delimiters
Wiki: PriTeX file
Wiki: Sets.tex
Wiki: document
Wiki: package
Wiki: pritex
