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

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