University of Kansas, Fall 2023
This is the source for the course webpage EECS 700: Introduction to Program Synthesis. The webpage is based on the Jekyll theme Just the Class.
This course draws a lot from the other program synthesis classes at UCSD and MIT.