C

ConCert

Project information

A framework for smart contract verification in Coq

348 Commits
8 Branches
0 Tags

README
MIT License

Created on

November 21, 2019

Loading