Skip to content

Submitted version to CPP 2020
Compare
Choose a tag to compare
@jesse-michael-han jesse-michael-han released this 22 Oct 03:55
· 20 commits to master since this release
1.0
8519571

Our paper "A formal proof of the independence of the continuum hypothesis", as it was submitted to CPP 2020.

Assets 3
Loading