A formal proof of the independence of the continuum hypothesis | Heykuki News