A formal proof of the independence of the continuum hypothesis(github.com)3 points·by jessemhan·vor 7 Jahren·0 commentsgithub.comA formal proof of the independence of the continuum hypothesishttps://github.com/flypitch/flypitch0 commentsPost comment—