Lukas Convent
On Tech, Science and Learning
Home
Blog
Projects
🇬🇧
🇩🇪
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
