Proviola: a tool for proof re-animation (0)

by C Tankink, H Geuvers, J McKinna, F Wiedijk
Venue:Accepted for the 9th International Conference on Mathematical Knowledge Management (MKM 2010) (2010), available through http://cs.ru.nl/~carst/files/moviola.pdf