Machine Logic
At the junction of computation, logic and mathematics
Tag: ZFC_in_HOL
Wetzel's problem and the continuum hypothesis
(27 Apr 2022)
Integrating Zermelo-Fraenkel set theory with higher-order logic
(06 Apr 2022)