Z
F
C
_in_
H
O
L
ZFC_Library
ZFC_in_HOL
ZFC_Cardinals
Kirby
Ordinal_Exp
Cantor_NF
ZFC_Typeclasses
General_Cardinals