The following is a list of all the published Isabelle/HOL formalisation projects that I (co-)authored. All of these are published either as articles in the Archive of Formal Proofs or, in some cases, the Isabelle/HOl standard library.

Algebra

Analysis

Asymptotics

Geometry

Probability

Combinatorics and General Number Theory

Transcendental Number Theory

Analytic Number Theory

Prime Numbers

Social Choice Theory

Algorithms and Data Structures

Other