This repository is the public web page for Loris D'Antoni's graduate-level course on Program Synthesis.
- For course description, check out the wiki.
- For lecture slides, browse or clone the repository.
- To ask a question, use the issue tracker.
This course is now being co-designed with Nadia Polikarpova at UCSD together with a book for it (Nadia's course is here)