Skip to content

nikhilsulghur/cse291-program-synthesis

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 

Repository files navigation

CSE 291: Program Synthesis

This repository is the public web page for the UCSD CSE graduate-level course on Program Synthesis.

  • For course description, check out the wiki.
  • For lecture slides, browse or clone the repository.

About

Program Synthesis Course

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published