Am Lehrstuhl für Programmierparadigmen sind die unten aufgeführten Arbeiten zur Zeit in Bearbeitung:
| Art | Name |
|---|---|
| Bachelor-/Masterarbeit | Interaktives Term-Rewriting für Lean 4 |
| Praxis der Forschung | Hammer für Lean 4 unter Benutzung von SMT-Solvern für HOL |