M

Mi-Cho-Coq

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

Forked from Nomadic Labs / Mi-Cho-Coq

Name
Last commit
Last update
doc/talk_17_09_2018 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.opam Loading commit data...