GitHub repository: thibautbenjamin/catt-formalization
Primary language: Agda
Description: An agda prototype formalization of the CaTT type theory