The lego proof assistant (1995)

by Lego
Venue:http://www.dcs.ed.ac.uk/packages/lego on the World Wide Web