View of Experiments with ZF Set Theory in HOL and Isabelle

Return to Article Details Experiments with ZF Set Theory in HOL and Isabelle Download Download PDF