M

Mi-Cho-Coq

Project information

A specification of Michelson in Coq to prove properties about smart contracts in Tezos.

279 Commits
108 Branches
4 Tags
2 Releases

README
MIT License
CHANGELOG

Created on

March 12, 2019

Loading