GitHub repository: HuStmpHrrr/mech-type-theories
Primary language: Agda
Created: 2024-07-24T15:52:06Z
Description: Mechanizations of Type Theories