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 |