@incollection{TankinkEtAl13,
title={Formal Mathematics on Display: A Wiki for Flyspeck},
author={Tankink, Carst and Kaliszyk, Cezary and Urban, Josef
	 and Geuvers, Herman},
pages={152--167},
year={2013},
booktitle={Intelligent Computer Mathematics},
volume={7961},
series={Lecture Notes in Computer Science},
editor={Carette, Jacques and Aspinall, David and Lange, Christoph
	 and Sojka, Petr and Windsteiger, Wolfgang},
publisher={Springer Berlin Heidelberg},
}