The Independence of the Continuum Hypothesis in Isabelle/ZF
by Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf and Matías Steinberg
Emmanuel Gunther
2022
Transitive Models of Fragments of ZFC
by Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf and Matías Steinberg
2020
Formalization of Forcing in Isabelle/ZF
by Emmanuel Gunther, Miguel Pagano and Pedro Sánchez Terraf