An M L editor based on proofs-as-programs (1999)

by Jon Whittle, Alan Bundy, Richard J Boulton, Helen Lowe
Venue:In Automated Software Engineering