We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
eb2b15a
This is the release of the formalization for the POPL18 paper "Decidability of Conversion for Type Theory in Type Theory".