GitHub repository: CoqHott/coq-2ltt
Primary language: Coq
Created: 2018-09-24T15:34:55Z
Description: Two-level type theory in Coq