Functional Programming in Lean (WORKING TITLE)
General Information
- Lecturer: Prof. Dr. Peter Thiemann
- Assistant: Marius Weidner
Lecture
| Date | Topic | Material | Recording |
|---|
Tutorial
| Date | Topic | Recording |
|---|
Exam
| Date | Time | Place | Mode |
|---|
Exercises
| Date | Due | Material |
|---|
| Date | Topic | Material | Recording |
|---|
| Date | Topic | Recording |
|---|
| Date | Time | Place | Mode |
|---|
| Date | Due | Material |
|---|