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

Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers

Browse the full AISC paper archive.