/general-type-theories

A (formalised) general definition of type theories

Primary LanguageCoq

Stargazers