Repo for ADT Synthesis work, to eventually be integrated into github
Primary LanguageCoq
No issues in this repository yet.