A formal proof of the independence of the continuum hypothesisgithub.com3 points·jessemhan··0 commentsOpen articleSaveView on HN