Télécharger des qedeq_0.04.04_unx.tar.bz2 (qedeq_0.04.04_unx.tar.bz2 ( lien externe: SourceForge.net): 7,506,642 octets) va bientôt commencer. Sinon, cliquez sur qedeq_0.04.04_unx.tar.bz2 ( lien externe: SourceForge.net).
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.
