17 ms·Formal [Lean] Proof of the Independence of the Continuum Hypothesis (2021)2 points by threatofrain 6y ago