A formal proof of the independence of the continuum hypothesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jesse Michael Han, Floris van Doorn. A formal proof of the independence of the continuum hypothesis. In Jasmin Blanchette, Catalin Hritcu, editors, Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020. pages 353-366, ACM, 2020. [doi]

This author has not been identified. Look up 'Jesse Michael Han' in GoogleThis author has not been identified. Look up 'Floris van Doorn' in Google

runs on WebDSL