Experiments with ZF Set Theory in HOL and Isabelle (1995)

by Sten Agerholm, Mike Gordon
Venue:IN PROCEEDINGS OF THE 8TH INTERNATIONAL WORKSHOP ON HIGHER ORDER LOGIC THEOREM PROVING AND ITS APPLICATIONS, LNCS