We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
The first implementation of CTT in Dedukti, using a Two Layer Type Theory
There was an error while loading. Please reload this page.