Popular repositories Loading
-
-
-
logrel-mltt
logrel-mltt PublicForked from CoqHott/logrel-mltt
A Logical Relation for Martin-Löf Type Theory using Indexed Inductive Types
Agda
-
Juna
Juna PublicA compiler that supports wobbly types, does CPS and defunctionalization (school project)
OCaml
-
observational-coq
observational-coq PublicForked from Yann-Leray/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.