Presenter: Jesse Han. Presenter video comes back at 1:24. Presented at CPP'20, colocated with POPL 2020.
A formal proof of the independence of the continuum hypothesis
Presenter: Jesse Han. Presenter video comes back at 1:24. Presented at CPP'20, colocated with POPL 2020.
0 Comments