TY  - RPRT
TI  - Formal Mathematics on Display: A Wiki for Flyspeck
AU  - Carst Tankink
AU  - Cezary Kaliszyk
AU  - Josef Urban
AU  - Herman Geuvers
PY  - 2013
UR  - https://arxiv.org/abs/1305.5710
ID  - 1305.5710
ER  -