
Formalization of Forcing in Isabelle/ZF
We formalize the theory of forcing in the set theory framework of Isabel...
read it

Mechanization of Separation in Generic Extensions
We mechanize, in the proof assistant Isabelle, a proof of the axiomsche...
read it

First steps towards a formalization of Forcing
We lay the ground for an Isabelle/ZF formalization of Cohen's technique ...
read it
Emmanuel Gunther
is this you? claim profile