A short development for an Abella tutorial I gave at CMU on Nov 17, 2015
lambdacalculator/abella-tutorial
A short development for an Abella tutorial I gave at CMU on Nov 17, 2015
AMPL
A short development for an Abella tutorial I gave at CMU on Nov 17, 2015
AMPL