Main Page

From Wikiproofs
Revision as of 08:16, 12 March 2012 by Kingdon (Talk | contribs) (better to link to the theorems than the axioms)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Welcome to Wikiproofs
the free repository of instantly verified proofs
to which anyone can contribute.

Here's an overview of what is currently on wikiproofs.

Main category · Mathematics · Help
Community Portal · Copyrights · About Wikiproofs


Verifier documentation and development Specification

Links of interest