ProofWiki

(Page count as of: 2022-07-07 wikiFactor as of: 2014-12-01)

ProofWiki is an online compendium of proofs. Our goal is the collection, collaboration, and classification of mathematical proofs. If you are interested in helping create an online resource for mathematical proofs feel free to create an account and contribute. Thanks and enjoy!

Textual wiki content was originally released under the (GNU FDL, or merely GFDL), however, it subsequently changed to the more appropriate  (CC-BY-SA-3.0).

Many  wiki; also
 * ''Related wiki
 * LiteratePrograms
 * PG Web – also known as Proof General Wiki
 * Proofs.Wiki


 * ''External links


 * — at Wikibooks (English)
 * — at Wikibooks (English)