Welcome to EverybodyWiki 😃 ! Nuvola apps kgpg.png Log in or ➕👤 create an account to improve, watchlist or create an article like a 🏭 company page or a 👨👩 bio (yours ?)...


From EverybodyWiki Bios & Wiki
File:ProofWiki Logo 2018.png
ProofWiki logo
Type of site
Available inEnglish
OwnerJoe George[1]
Created byVolunteer contributors[2][self-published source]
Alexa rankPositive decrease 53,410; 25,638: United States (December 2018)[3]
LaunchedApril 2008; 13 years ago (2008-04)[4][self-published source]
Current statusActive
Content license
CC-BY-SA 3.0[5][self-published source]
Written inMediaWiki software

ProofWiki is a wiki for mathematical proofs. Each page contains one (proved) fact or definition.[1][6] ProofWiki relies on advertisements for funding,[citation needed] and contributes idle server resources to PrimeGrid for the mathematical pursuit of prime number discovery.[7]

Mizar involvement[edit]

ProofWiki has been instrumental in the development of the Mizar system.[8][9][10] Research has been conducted in attempt to translate the ProofWiki's informal texts into formal Mizar-style parse trees so that the proofs can be verified by Mizar, providing semantic feedback to the statistical parsing methods.[6]

See also[edit]

  • Mathematical proof
  • MathOverflow
  • NLab
  • PlanetMath


  1. 1.0 1.1 Westwood, Matt (2011). "ProofWiki" (PDF). In Lange, Christoph; Urban, Josef. Proceedings of the ITP 2011 Workshop on Mathematical Wikis, Nijmegen, Netherlands, August 27th, 2011. CEUR Workshop Proceedings. 767. pp. 54–62.
  2. "ProofWiki:General disclaimer". ProofWiki. Retrieved December 5, 2018.
  3. "ProofWiki.org Site Info". Alexa Internet. Retrieved December 5, 2018.
  4. "ProofWiki:About". ProofWiki. Retrieved December 5, 2018. CC-BY-SA icon.svg Material was copied from this source, which is available under a Creative Commons Attribution-ShareAlike 3.0 Unported license.
  5. "ProofWiki:Copyrights". ProofWiki. Retrieved December 5, 2018.
  6. 6.0 6.1 Vyskočil, Jiří; Urban, Josef (2018). "Disambiguating ProofWiki into Mizar: First Steps" (PDF). 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), March 25–30, 2018, Aussois, France. pp. 63–65.
  7. "ProofWiki". PrimeGrid. PrimeGrid. January 18, 2017. Retrieved 2019-06-11.
  8. Wang, Qingxiang; Kaliszyk, Cezary; Urban, Josef (July 25, 2018). "First Experiments with Neural Translation of Informal Mathematics to Formal" (PDF). Czech Institute of Informatics, Robotics, and Cybernetics. ICMS 2018. Retrieved 2019-06-11. (p. 3, 4, 10)CS1 maint: Multiple names: authors list (link)
  9. Bancerek, Grzegorz; Vyskočil, Jiří; Brown, Chad; Urban, Josef (March 26, 2018). "Playing with Autoformalization over Mizar and ProofWiki" (PDF). Conference on Artificial Intelligence and Theorem Proving. AITP 2018. Retrieved 2019-06-11. (p. 1-21)CS1 maint: Multiple names: authors list (link)
  10. Vyskočil, Jiří; Urban, Josef (March 25–30, 2018). "Abstracts of the talks" (PDF). Conference on Artificial Intelligence and Theorem Proving. AITP 2018. Retrieved 2019-06-11. (p. 63-65)CS1 maint: Multiple names: authors list (link) CS1 maint: Date format (link)

External links[edit]

This article "ProofWiki" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:ProofWiki. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.