Proviola: a tool for proof re-animation

C. Tankink, J.H. Geuvers, J. McKinna, F. Wiedijk

Research output: Book/ReportReportAcademic

1 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Proviola: a tool for proof re-animation'. Together they form a unique fingerprint.

Engineering

Computer Science

Mathematics