Formal [Lean] Proof of the Independence of the Continuum Hypothesis (2021)arxiv.org2 points·threatofrain··0 commentsOpen articleSaveView on HN