## 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