GitHub repository: pechersky/flypitch
Description: A formal proof of the independence of the continuum hypothesis