A Wiki for Mizar: Motivation, Considerations, and Initial Prototype

Josef Urban, Jesse Alama, Piotr Rudnicki +1

Formal mathematics has so far not taken full advantage of ideas from collaborative tools such as wikis and distributed version control systems (DVCS). We argue that the field could…