A formal proof of the independence of the continuum hypothesis [pdf]flypitch.github.io2 points·colinprince··0 commentsOpen articleSaveView on HN