yiyunliu / mltt-consistencyLinks

Logical relation for predicative CC omega with booleans and an intensional identity type
13Updated 2 months ago

Alternatives and similar repositories for mltt-consistency

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

Sorting: