Theses

Art	Name
Bachelor/Master thesis	Interactive term rewriting for the Lean 4 theorem prover
masters thesis	Static Uniqueness Analysis for Lean
Research project	Hammers for Lean 4 with usage of SMT solvers for HOL