GitHub repository: Beluga-lang/McLTT
Primary language: Coq
Created: 2023-02-03T02:15:01Z
Description: A bottom-up approach to a verified implementation of MLTT