Geeks
u-t-autonomous
/
sydar
Synthesis Done Approximately Right
Primary Language
TeX
Other
NOASSERTION
sydar GitHub
Markdown
Readme
11
Issues
2
Stargazers
4
Watchers
Stargazers
ananswam
sahabi
University of Texas at Austin