GitHub repository: yiyunliu/mltt-consistency
Primary language: TeX
Created: 2023-10-20T20:20:17Z
Description: Logical relation for predicative CC omega with booleans and an intensional identity type