PrototypeCommon
jozefg/nbe-for-mltt
Normalization by Evaluation for Martin-Löf Type Theory
- Owner
- jozefg (personal account)
- Stars
- Stars: 138
- Forks
- Forks: 5
- Language
- OCaml
- License
- None
- Created
- 2018
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by jozefg
All 5 repos by jozefg- jozefg/learn-ttStars: 2,512RC
- jozefg/higher-order-unificationStars: 198HaskellPrototype
- jozefg/pcfStars: 126HaskellPrototype
- jozefg/blottStars: 123OCamlPrototype
Nearby in OCaml
All OCaml repos- ml-in-barcelona/jsoo-reactStars: 138OCamlPrototype
- engboris/stellogenStars: 138OCamlPrototype
- melange-community/create-melange-appStars: 138OCamlPrototype