/2LTT-Agda

Formalization of 2LTT in Agda

Primary LanguageAgdaMIT LicenseMIT

This repository is not active