Projects

ArithHier

Building the arithmetic hierarchy for LEAN’s Mathlib

Beginner’s Borel

Beginners introduction to invariant descriptive set theory

Computable Z-jump

Defining the computable analogue of the Z-jump for equivalence relations

Graph Theory Answers

Answers to MATH0029 as taught by Dr. Antonio Girao