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
Les inscriptions sur Framagit sont temporairement fermées en raison d’une importante vague de spam. En cas d’extrême urgence, vous pouvez contacter le support sur https://contact.framasoft.org.
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