ConCert

A framework for smart contract verification in Coq

114 stars

11 watching

19 forks

Language: Coq

last commit: 10 days ago

Linked from 2 awesome lists

blockchaincoqsmart-contractsverification

Backlinks from these awesome lists: