TY  - RPRT
TI  - The formal verification of the ctm approach to forcing
AU  - Emmanuel Gunther
AU  - Miguel Pagano
AU  - Pedro Sánchez Terraf
AU  - Matías Steinberg
PY  - 2023
UR  - https://arxiv.org/abs/2210.15609
ID  - 2210.15609
ER  -