GitHub repository: Chaaaos/formaltt
Primary language: Agda
Created: 2021-02-16T08:11:09Z
Description: Formalization of type theory