Proviola: A Tool for Proof Re-animation.

Carst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk

Browse the full AISC paper archive.