[go: up one dir, main page]
Skip to content
@graded-type-theory

graded-type-theory

Pinned Loading

  1. graded-type-theory graded-type-theory Public

    A Logical Relation for Martin-Löf Type Theory in Agda

    Agda 5 5

Repositories

Showing 1 of 1 repositories
  • graded-type-theory Public

    A Logical Relation for Martin-Löf Type Theory in Agda

    graded-type-theory/graded-type-theory’s past year of commit activity
    Agda 5 5 18 0 Updated Nov 4, 2024

Top languages

Loading…

Most used topics

Loading…