ZFC_in_HOL Dependents

2023

Soundness of the Q0 proof system for higher-order logic

by Anders Schlichtkrull

Nov 20

Metatheory of Q0

by Javier Díaz

Nov 04

2022

Wetzel's Problem and the Continuum Hypothesis

by Lawrence C. Paulson

Feb 18

2021

Category Theory for ZFC in HOL I: Foundations: Design Patterns, Set Theory, Digraphs, Semicategories

by Mihails Milehins

Sep 06

2020

Ordinal Partitions

by Lawrence C. Paulson

Aug 03

2016

Category Theory with Adjunctions and Limits

by Eugene W. Stark

Jun 26