principia Files

principia is a system for documenting formal mathematics.

Brought to you by: fundagain

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size
pritex.pdf	2012-10-19	58.5 kB
Sets.tex	2012-09-25	32.8 kB
principia.zip	2012-09-25	3.1 MB
readme.md	2012-09-23	311 Bytes
Sets.pdf	2012-09-19	103.2 kB
Totals: 5 Items		3.3 MB

Notes

Sets.pdf is a pdf file generated from the LaTeX file Sets.tex using Principia and Pritex.
Download principia.zip to install Principia. This archive includes the latest version of Sets.tex, as well as the other examples mentioned in the wiki.

See the wiki for installation and other details.

Source: readme.md, updated 2012-09-23

You Might Also Like

Our Free Plans just got better! | Auth0 by Okta

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.

Try free now

Free CRM Software With Something for Everyone

216,000+ customers in over 135 countries grow their businesses with HubSpot

Think CRM software is just about contact management? Think again. HubSpot CRM has free tools for everyone on your team, and it’s 100% free. Here’s how our free CRM solution makes your job easier.

Get free CRM

Recommended Projects

IGETIT
An agent-based situated language learning simulation that focuses on lexical learning and grounding, featuring a unigram syntax structure and a CFG-based semantic grammar. Created as a MSc thesis project, using python.
Components for wxWidgets
These are extra components for wxWidgets that I have found usefull. They are provided here, with full source, for any and all to use. Most components also have property page plug-ins for wxSmith, the GUI designer used with Code::Blocks.
TeXlipse
Texlipse is a plugin that adds Latex editing support for the popular Eclipse Java IDE. Key features include: syntax highlight, command completion, bibliography completion, outline navigation and automatic building.