PrototypeCommune
AU-COBRA/ConCert
A framework for smart contract verification in Coq
- Propriétaire
- AU-COBRA (organisation)
- Étoiles
- Étoiles : 129
- Forks
- Forks : 22
- Langage
- Rocq Prover
- Licence
- MIT
- Création
- 2019
- Sujets
- blockchaincoqsmart-contractsverification
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- neelsomani/vericudaÉtoiles : 134Rocq ProverPrototype
- fraunhoferfokus/acsl-by-exampleÉtoiles : 129Rocq ProverPrototype
- uds-psl/MPCTTÉtoiles : 129Rocq ProverPrototype
- WasmCert/WasmCert-CoqÉtoiles : 128Rocq ProverPrototype
- mit-plv/riscv-coqÉtoiles : 123Rocq ProverPrototype