Combinatorial Design Theory

by Chelsea Edmonds and Lawrence C. Paulson

# Lawrence C. Paulson

## 2021

Grothendieck's Schemes in Algebraic Geometry

by Anthony Bordg, Lawrence C. Paulson and Wenda Li

## 2020

## 2019

Zermelo Fraenkel Set Theory in Higher-Order Logic

by Lawrence C. Paulson

## 2018

The Prime Number Theorem

by Manuel Eberl and Lawrence C. Paulson

An Isabelle/HOL formalisation of Green's Theorem

by Mohammad Abdulaziz and Lawrence C. Paulson

## 2016

Source Coding Theorem

by Quentin Hibon and Lawrence C. Paulson

## 2015

Finite Automata in Hereditarily Finite Set Theory

by Lawrence C. Paulson

## 2014

Real-Valued Special Functions: Upper and Lower Bounds

by Lawrence C. Paulson

## 2013

## 2012

Proving the Impossibility of Trisecting an Angle and Doubling the Cube

by Ralph Romanos and Lawrence C. Paulson