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

Cached

Download Links

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