A formal proof of the independence of the continuum hypothesisgithub.com/flypitch3 pointsjessemhan6 years ago