Home

Welcome to Principia!

[Principia] is a [proof-of-concept] and, while usable, is a long way from initial production release.

---

• Welcome to Principia!
  • The proof-of-concept documents
  • Installing Principia
  • Playing with Principia

---

The proof-of-concept documents

As a proof-of-concept, two documents, [Sets.tex] and [Sets.pdf], are demonstrated. Both are available for download independently of the full Principia download.

Sets.tex is a [LaTeX] document that uses the [pritex] package. It has been processed by [XeTeX], which is a [Unicode] aware [TeX] engine. This document contains embedded Principia phrases. These are delimited by the [Unicode] characters 〚〛. Everything outside of [PriTeX delimiters] is pure LaTeX.

The second document, Sets.pdf, is the generated PDF file. It should read as a natural mathematical text on formal set theory and the necessary logical infrastructure.

Follow the link for an analysis of the [Sets.tex] document.

---

Installing Principia

Principia is usable. Follow the link [Installing Principia] for detailed installation instructions. If all works out, the document Sets.tex] will compile and generated Sets.pdf.

Playing with Principia

If installation is successful, you may wish to play with Principia. The following trail begins with a simple "hello world".

• [Playing with Principia]

Project Admins:

• Graham Barbour