PrototypeCommune
jozefg/nbe-for-mltt
Normalization by Evaluation for Martin-Löf Type Theory
- Propriétaire
- jozefg (compte personnel)
- Étoiles
- Étoiles : 138
- Forks
- Forks : 5
- Langage
- OCaml
- Licence
- Aucune
- Création
- 2018
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de jozefg
Les 5 dépôts de jozefg- jozefg/learn-ttÉtoiles : 2 511RC
- jozefg/higher-order-unificationÉtoiles : 198HaskellPrototype
- jozefg/pcfÉtoiles : 126HaskellPrototype
- jozefg/blottÉtoiles : 123OCamlPrototype
D’autres dépôts OCaml
Tous les dépôts OCaml- ml-in-barcelona/jsoo-reactÉtoiles : 138OCamlPrototype
- engboris/stellogenÉtoiles : 138OCamlPrototype
- melange-community/create-melange-appÉtoiles : 138OCamlPrototype