/abella-tutorial

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

Primary LanguageAMPL

abella-tutorial

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