PrototypeCommon
AU-COBRA/ConCert
A framework for smart contract verification in Coq
- Owner
- AU-COBRA (organization)
- Stars
- Stars: 129
- Forks
- Forks: 22
- Language
- Rocq Prover
- License
- MIT
- Created
- 2019
- Topics
- blockchaincoqsmart-contractsverification
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Rocq Prover
All Rocq Prover repos- neelsomani/vericudaStars: 134Rocq ProverPrototype
- fraunhoferfokus/acsl-by-exampleStars: 129Rocq ProverPrototype
- uds-psl/MPCTTStars: 129Rocq ProverPrototype
- WasmCert/WasmCert-CoqStars: 128Rocq ProverPrototype
- mit-plv/riscv-coqStars: 123Rocq ProverPrototype