Gordon, Mike

• BRICS Report Series No. 37 (1995): RS-37 Experiments with ZF Set Theory in HOL and Isabelle - Articles
  Experiments with ZF Set Theory in HOL and Isabelle
  Abstract  PDF