nomadic-labs/mi-cho-coq
A specification of Michelson in Coq to prove properties about smart contracts in Tezos.
GitLab repository with 22 stars and 15 forks.
Language: Coq
Latest metric snapshot
2026-06-15: 22 stars and 15 forks.
A specification of Michelson in Coq to prove properties about smart contracts in Tezos.
GitLab repository with 22 stars and 15 forks.
Language: Coq
2026-06-15: 22 stars and 15 forks.