TY  - RPRT
TI  - A Wiki for Mizar: Motivation, Considerations, and Initial Prototype
AU  - Josef Urban
AU  - Jesse Alama
AU  - Piotr Rudnicki
AU  - Herman Geuvers
PY  - 2010
DO  - 10.1007/978-3-642-14128-7_38
UR  - https://arxiv.org/abs/1005.4552
ID  - 1005.4552
ER  -