Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
changed page name to author’s full name (from “jesse” to “Jesse Han”) to comply with convention and avoid ambiguity.
also added this pointer:
Flypitch project – Formal proof of the independence of CH (github:flypitch, pdf)
(formal proof of independence of the continuum hypothesis)
1 to 1 of 1