Drafts
Accepted
-
A formal proof of the independence of the continuum hypothesis1 (pdf)
Jesse Michael Han and Floris van Doorn -
A formalization of forcing and the unprovability of the continuum hypothesis2 (pdf)
Jesse Michael Han and Floris van Doorn