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

Name
Last commit
Last update
doc Loading commit data...
scripts Loading commit data...
src Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
LICENSE Loading commit data...
README.org Loading commit data...
_CoqProject Loading commit data...
configure Loading commit data...
mi-cho-coq.install Loading commit data...
mi-cho-coq.opam Loading commit data...