Jape: A Calculator for Animating Proof-on-Paper.

Richard Bornat, Bernard Sufrin

Browse the full CADE paper archive.