Experiments with ZF set theory in HOL and Isabelle

This publication has 9 references indexed in Scilit:

• A HOL Basis for Reasoning about Functional Programs
  BRICS Report Series, 1994
• The Alf proof editor and its proof engine
  Published by Springer Nature ,1994
• Graph model of LAMBDA in higher order logic
  Published by Springer Nature ,1994
• Isabelle
  Published by Springer Nature ,1994
• IMPS: An interactive mathematical proof system
  Journal of Automated Reasoning, 1993
• Set theory for verification: I. From foundations to functions
  Journal of Automated Reasoning, 1993
• Logic and Computation
  Published by Cambridge University Press (CUP) ,1987
• The enhanced HDM system for specification and verification
  ACM SIGSOFT Software Engineering Notes, 1985
• The Category-Theoretic Solution of Recursive Domain Equations
  SIAM Journal on Computing, 1982