AlphaUncommon
formal-land/rocq-of-ocaml
Formal verification for OCaml, with Rocq
- Owner
- formal-land (organization)
- Stars
- Stars: 279
- Forks
- Forks: 22
- Language
- OCaml
- License
- MIT
- Created
- 2013
- Topics
- ocamlcompilerformal-verificationrocq
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by formal-land
All 2 repos by formal-land- formal-land/rocq-of-rustStars: 1,194Rocq ProverBeta
Nearby in OCaml
All OCaml repos- rescript-lang/reanalyzeStars: 281OCamlAlpha
- johnwhitington/cpdf-sourceStars: 279OCamlAlpha
- ocaml-wasm/wasm_of_ocamlStars: 279OCamlAlpha
- ocaml/ZarithStars: 277OCamlAlpha
- andrejbauer/spartan-type-theoryStars: 277OCamlAlpha