Publications
| Publication |
| Static Uniqueness Analysis for the Lean 4 Theorem Prover |
Advisors
| Former Staff Member |
|---|
| Dr.-Ing. Sebastian Ullrich |
Students
| former tutors |
|---|
| Marc Huisinga |
masters thesis (finished): Static Uniqueness Analysis for Lean