Trends in Software Synthesis
Presentation and final summary as contribution to the seminar „Trends in Software Synthesis“- Slides for the presentation "Synthesis Modulo Recursive Functions" (based on the paper of Etienne Kneuss et al.)
- Final Summary
Lukas Convent
On Tech, Math, Teaching