# Publications

Publications in categories and reversed chronological order.

## Published Papers

## 2024

- Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
*In Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs*, London, UK, 2024

## 2023

## 2022

## 2021

## 2020

- WorkshopLucas’s Theorem: Formalising Generating Function Proofs
*In Isabelle Workshop 2020, associated with IJCAR2020*, Dec 2020