Publications
| Publication |
| Proof Visualization for the Lean 4 Theorem Prover |
Advisors
| Former Staff Member |
|---|
| Dr.-Ing. Sebastian Ullrich |
Students
| Students |
|---|
| Niklas Bülow |
bachelor thesis (finished): Proof visualization for the Lean 4 theorem prover
Description currently only available in German.