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