AlphaPeu commune
andrejbauer/spartan-type-theory
Spartan type theory
- Propriétaire
- andrejbauer (compte personnel)
- Étoiles
- Étoiles : 277
- Forks
- Forks : 18
- Langage
- OCaml
- Licence
- MIT
- Création
- 2017
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de andrejbauer
Les 4 dépôts de andrejbauer- andrejbauer/plzooÉtoiles : 1 600OCamlBêta
- andrejbauer/homotopy-type-theory-courseÉtoiles : 314TeXAlpha
- andrejbauer/marshallÉtoiles : 128OCamlPrototype
D’autres dépôts OCaml
Tous les dépôts OCaml- formal-land/rocq-of-ocamlÉtoiles : 279OCamlAlpha
- ocaml-wasm/wasm_of_ocamlÉtoiles : 279OCamlAlpha
- ocaml/ZarithÉtoiles : 277OCamlAlpha
- jonlaing/rationaleÉtoiles : 276OCamlAlpha
- glennsl/bs-jsonÉtoiles : 271OCamlAlpha
- chshersh/cclÉtoiles : 271OCamlAlpha