Visning af: Experiments with ZF Set Theory in HOL and Isabelle

Tilbage til artikeldetaljer Experiments with ZF Set Theory in HOL and Isabelle Download Download PDF