AlphaPeu commune
formal-land/rocq-of-ocaml
Formal verification for OCaml, with Rocq
- Propriétaire
- formal-land (organisation)
- Étoiles
- Étoiles : 279
- Forks
- Forks : 22
- Langage
- OCaml
- Licence
- MIT
- Création
- 2013
- Sujets
- ocamlcompilerformal-verificationrocq
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de formal-land
Les 2 dépôts de formal-land- formal-land/rocq-of-rustÉtoiles : 1 194Rocq ProverBêta
D’autres dépôts OCaml
Tous les dépôts OCaml- rescript-lang/reanalyzeÉtoiles : 281OCamlAlpha
- johnwhitington/cpdf-sourceÉtoiles : 279OCamlAlpha
- ocaml-wasm/wasm_of_ocamlÉtoiles : 279OCamlAlpha
- ocaml/ZarithÉtoiles : 277OCamlAlpha
- andrejbauer/spartan-type-theoryÉtoiles : 277OCamlAlpha