TY  - RPRT
TI  - Proviola: A Tool for Proof Re-animation
AU  - Carst Tankink
AU  - Herman Geuvers
AU  - James McKinna
AU  - Freek Wiedijk
PY  - 2010
UR  - https://arxiv.org/abs/1005.2672
ID  - 1005.2672
ER  -