Some lessons after the formalization of the ctm approach to forcing -- CLAM 2021
Channel: Pedro Sánchez Terraf
Date: 2021-11-16

Presentation at the *Set Theory and its Interactions* session at CLAM2021.
Joint work with Emmanuel Gunther, Miguel Pagano and Matías Steimberg.

Slides: https://cs.famaf.unc.edu.ar/~pedro/forcing/clam2021.pdf
Repository: https://bitbucket.org/miguelpagano/forcing/src/Not_CH/src/
Isabelle html: https://cs.famaf.unc.edu.ar/~pedro/forcing/html_linked/