BêtaRare
AeneasVerif/aeneas
A verification toolchain for Rust programs
- Propriétaire
- AeneasVerif (organisation)
- Étoiles
- Étoiles : 1 146
- Forks
- Forks : 142
- Langage
- OCaml
- Licence
- Apache-2.0
- Création
- 2021
- Sujets
- compilercoqdeductive-reasoningformal-methodsformal-verificationfstarhol4leanocamlproofs
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
Autres dépôts de AeneasVerif
Les 3 dépôts de AeneasVerif- AeneasVerif/charonÉtoiles : 472RustAlpha
- AeneasVerif/eurydiceÉtoiles : 437CAlpha
D’autres dépôts OCaml
Tous les dépôts OCaml- gfngfn/SATySFiÉtoiles : 1 248OCamlBêta
- moby/vpnkitÉtoiles : 1 210OCamlBêta
- janestreet/hardcamlÉtoiles : 1 165OCamlBêta
- ocsigen/js_of_ocamlÉtoiles : 1 139OCamlBêta
- moby/datakitÉtoiles : 1 107OCamlBêta
- leostera/caramelÉtoiles : 1 106OCamlBêta