Formalization of Forcing in Isabelle/ZF

From MaRDI portal
Formalization of Forcing in Isabelle/ZF (AFP entry Forcing)


MaRDI QIDQ7361870FDO


Authors Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf

Publication date 6 May 2020



Cites work





This page was built for software: Formalization of Forcing in Isabelle/ZF

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Formalization_of_Forcing_in_Isabelle/ZF_(AFP_entry_Forcing)&oldid=105369953"
Powered by MediaWiki