Awesome Lists

ConCert

by AU-COBRA

Coqpushed almost 2 years ago

A framework for smart contract verification in Coq

AI summary

Smart contract verifier

A framework for verifying smart contracts in Coq using formal methods and property-based testing.

stars
114
forks
19
watching
11
awesome lists
2
View on GitHub

Embed the badge

Show how many awesome lists link to your project. The count updates automatically.

Awesome Lists badge
Markdown
[![Awesome Lists Badge](https://awesome.facts.dev/shield/AU-COBRA/ConCert/links.svg)](https://awesome.facts.dev/awesome/AU-COBRA/ConCert)
HTML
<a href="https://awesome.facts.dev/awesome/AU-COBRA/ConCert"><img src="https://awesome.facts.dev/shield/AU-COBRA/ConCert/links.svg" alt="Awesome Lists Badge" /></a>
Image URL
https://awesome.facts.dev/shield/AU-COBRA/ConCert/links.svg

Add a GitHub project

Missing a project or an awesome list? Paste its GitHub URL and we fetch it right away.