ZFC_in_HOL

MaRDI QIDQ5973410swMATHFDO

Official website https://www.isa-afp.org/entries/ZFC_in_HOL.html

Cited in

(2)

• Ordinal Partitions
• Wetzels_Problem

This page was built for software: ZFC_in_HOL