IMPS: An Interactive Mathematical Proof System.

William M. Farmer, Joshua D. Guttman, F. Javier Thayer

Browse the full CADE paper archive.