@misc{indiciaef08a29f8873d,
  title = {Proviola: A Tool for Proof Re-animation},
  author = {Carst Tankink and Herman Geuvers and James McKinna and Freek Wiedijk},
  year = {2010},
  url = {https://arxiv.org/abs/1005.2672},
  note = {Source identifier: 1005.2672}
}