A formal proof of the independence of the continuum hypothesis

POPL 2020

A formal proof of the independence of the continuum hypothesis

Sep 17, 2020
|
31 views
Details
Presenter: Jesse Han. Presenter video comes back at 1:24. Presented at CPP'20, colocated with POPL 2020.

Comments
loading...