This repository contains the code accompanying the Meta-theory à la Carte paper by Delaware, Oliveira and Schrijvers. I have updated it so it works with both Coq8.3 and Coq8.4.
You can find the original source code at http://people.csail.mit.edu/bendy/MTC/