AlphaUncommon
andrejbauer/spartan-type-theory
Spartan type theory
- Owner
- andrejbauer (personal account)
- Stars
- Stars: 277
- Forks
- Forks: 18
- Language
- OCaml
- License
- MIT
- Created
- 2017
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by andrejbauer
All 4 repos by andrejbauer- andrejbauer/plzooStars: 1,600OCamlBeta
- andrejbauer/homotopy-type-theory-courseStars: 314TeXAlpha
- andrejbauer/marshallStars: 128OCamlPrototype
Nearby in OCaml
All OCaml repos- formal-land/rocq-of-ocamlStars: 279OCamlAlpha
- ocaml-wasm/wasm_of_ocamlStars: 279OCamlAlpha
- ocaml/ZarithStars: 277OCamlAlpha
- jonlaing/rationaleStars: 276OCamlAlpha
- glennsl/bs-jsonStars: 271OCamlAlpha
- chshersh/cclStars: 271OCamlAlpha