yiyunliu / mltt-consistencyLinks

Logical relation for predicative CC omega with booleans and an intensional identity type
13Updated last month

Alternatives and similar repositories for mltt-consistency

Users that are interested in mltt-consistency are comparing it to the libraries listed below

Sorting: