AlphaPeu commune
uwplse/verdi
A framework for formally verifying distributed systems implementations in Coq
- Propriétaire
- uwplse (organisation)
- Étoiles
- Étoiles : 627
- Forks
- Forks : 58
- Langage
- Rocq Prover
- Licence
- BSD-2-Clause
- Création
- 2014
- Sujets
- verdicoqcoq-libraryproofdistributed-systems
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de uwplse
Les 5 dépôts de uwplse- uwplse/verdi-raftÉtoiles : 204CoqPrototype
- uwplse/rulerÉtoiles : 158RustPrototype
- uwplse/tensatÉtoiles : 145RustPrototype
- uwplse/CassiusÉtoiles : 102RacketPrototype
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- jwiegley/category-theoryÉtoiles : 819Rocq ProverBêta
- achlipala/frapÉtoiles : 737Rocq ProverBêta
- math-comp/math-compÉtoiles : 707Rocq ProverBêta
- MetaRocq/metarocqÉtoiles : 568Rocq ProverAlpha
- PrincetonUniversity/VSTÉtoiles : 516Rocq ProverAlpha
- rocq-prover/vsrocqÉtoiles : 464Rocq ProverAlpha