A formal proof of the independence of the continuum hypothesis #1 Post by jessemhan » Tue, Dec 31, 2019, 7:29 PM UTC A formal proof of the independence of the continuum hypothesisgithub.com