Experiments with ZF Set Theory in HOL and Isabelle

• Authors:

• Sten Agerholm;Michael J. C. Gordon

• Affiliations:

• -;-

• Venue:
• Proceedings of the 8th International Workshop on Higher Order Logic Theorem Proving and Its Applications
• Year:
• 1995