ZFC_in_HOL

MaRDI QIDQ5973410swMATHFDO

Authors Lawrence C. Paulson

Publication date 24 October 2019

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

Cites work

• Addition and multiplication of sets
• Partizan Games in Isabelle/HOLZF

Cited in

(2)

• Ordinal Partitions
• Wetzels_Problem

This page was built for software: ZFC_in_HOL