Pedro Sánchez Terraf: Formalization of Forcing in Isabelle/ZF (IJCAR B)
Channel: IJCAR-FSCD 2020
Date: 2020-07-15

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

Aired: 2020-02-02 14:30:00 CEST (UTC+2)