M

michelson-coq

A formalisation of the Michelson language in the Coq proof assistant.

This project has moved to https://gitlab.com/nomadic-labs/mi-cho-coq/

Archived project! Repository and other project resources are read-only

Name
Last commit
Last update
doc/talk_17_09_2018 Loading commit data...
src Loading commit data...
.gitignore Loading commit data...
LICENSE Loading commit data...
README.org Loading commit data...