/adt-synthesis

Repo for ADT Synthesis work, to eventually be integrated into github

Primary LanguageCoq

Stargazers