OSDN -- Desenvolver e Download de Software Open Source
Estado tradução de Português translation status for pt

Download of principia.src.zip (principia.src.zip ( external link: SF.net): 175,904 bytes) will begin shortly. If not so, click link on the left.

File Information

File Size
175,904 bytes
MD5
7e5e2dd27522e5583846c2f58f62a895

Where do you want to go next?

Go to the project page on OSDN View another version

Projeto Descrição

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.