## 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 |

Citations: | 13 - 1 self |