/formal-type-theory

Formalising Type Theory in a modular way for translations between type theories

Primary LanguageCoqMIT LicenseMIT

No issues in this repository yet.