BêtaRare
formal-land/rocq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
- Propriétaire
- formal-land (organisation)
- Étoiles
- Étoiles : 1 194
- Forks
- Forks : 43
- Langage
- Rocq Prover
- Licence
- Aucune
- Création
- 2022
- Sujets
- formal-verificationrustproofrocq
- Rang
- Bêta (700 à 1 999 ★) 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-ocamlÉtoiles : 279OCamlAlpha
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- AbsInt/CompCertÉtoiles : 2 268Rocq ProverRC
- gustavo-depaula/stalin-sortÉtoiles : 1 712Rocq ProverBêta
- HoTT/Coq-HoTTÉtoiles : 1 407Rocq ProverBêta
- UniMath/UniMathÉtoiles : 1 022Rocq ProverBêta
- mit-plv/fiat-cryptoÉtoiles : 851Rocq ProverBêta
- magmide/magmideÉtoiles : 841Rocq ProverBêta