CTTDedukti

July 8, 2020 · View on GitHub

The first implementation of CTT in Dedukti, using a Two Layer Type Theory