Sciweavers

AISC
2010
Springer

Proviola: A Tool for Proof Re-animation

14 years 2 months ago
Proviola: A Tool for Proof Re-animation
Carst Tankink, Herman Geuvers, James McKinna, Free
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2010
Where AISC
Authors Carst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk
Comments (0)