Carst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk. Proviola: A Tool for Proof Re-animation. In Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, editors, Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings. Volume 6167 of Lecture Notes in Computer Science, pages 440-454, Springer, 2010. [doi]
@inproceedings{TankinkGMW10,
title = {Proviola: A Tool for Proof Re-animation},
author = {Carst Tankink and Herman Geuvers and James McKinna and Freek Wiedijk},
year = {2010},
doi = {10.1007/978-3-642-14128-7_37},
url = {http://dx.doi.org/10.1007/978-3-642-14128-7_37},
researchr = {https://researchr.org/publication/TankinkGMW10},
cites = {0},
citedby = {0},
pages = {440-454},
booktitle = {Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings},
editor = {Serge Autexier and Jacques Calmet and David Delahaye and Patrick D. F. Ion and Laurence Rideau and Renaud Rioboo and Alan P. Sexton},
volume = {6167},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-14127-0},
}