AU-COBRA/ConCert — 127 Stars | GitRepoTrend

ConCert

Rocq Prover

A framework for smart contract verification in Coq

Last updated Jun 29, 2026

127

Stars

23

Forks

7

Issues

0

Stars/day

Attention Score

84

View on GitHub ↗ Open in github.dev

Topics

#blockchain #coq #smart-contracts #verification

Language breakdown

Rocq Prover 90.0%

Rust 3.6%

Makefile 2.2%

Nix 1.0%

Dockerfile 1.0%

CSS 0.8%

▸ Files click to expand

README

No README available.

🔗 More in this category