Repositories list
1 repository
graded-type-theory
PublicA Logical Relation for Martin-Löf Type Theory in Agda
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.