Formalization for POPL18 paper

This is the release of the formalization for the POPL18 paper "Decidability of Conversion for Type Theory in Type Theory".

Formalization linked to master thesis

This is the release of the formalization that is referred to from the master thesis "A Logical Relation for Dependent Type Theory Formalized in Agda"