The Independence of the Continuum Hypothesis in Isabelle/ZF

by Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf and Matías Steinberg

# Logic/Set Theory

## 2022

Transitive Models of Fragments of ZFC

by Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf and Matías Steinberg

Wetzel's Problem and the Continuum Hypothesis

by Lawrence C. Paulson

## 2021

Category Theory for ZFC in HOL I: Foundations: Design Patterns, Set Theory, Digraphs, Semicategories

by Mihails Milehins

## 2020

Cofinality and the Delta System Lemma

by Pedro Sánchez Terraf

Formalization of Forcing in Isabelle/ZF

by Emmanuel Gunther, Miguel Pagano and Pedro Sánchez Terraf

## 2019

Zermelo Fraenkel Set Theory in Higher-Order Logic

by Lawrence C. Paulson