Formalization of a bunch of properties of Godel's System T in agda
Primary LanguageAgdaMIT LicenseMIT