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

Document Versions

Experiments with ZF Set Theory in HOL and Isabelle –Sten Agerholm, Mike Gordon — 1995 — IN PROCEEDINGS OF THE 8TH INTERNATIONAL WORKSHOP ON HIGHER ORDER LOGIC THEOREM PROVING AND ITS APPLICATIONS, LNCS
Experiments with ZF set theory in HOL and Isabelle –Sten Agerholm, Mike Gordon — 1995