/abella-tutorial

A short development for an Abella tutorial I gave at CMU on Nov 17, 2015

Primary LanguageAMPL

No issues in this repository yet.