Coq Developments for HOPi

The code for our CPP 2018 paper can be found here.

The code for our JAR 2020 paper can be found on the following pages:

• locally nameless;
• de Bruijn indices;
• nominal;
• higher-order abstract syntax.