https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: b9a0809f96e23794de5a0fbab3465aecb7be49e5 authored by b on 19 May 2020, 14:51:03 UTC
Mi-Cho-Coq/Contracts: formal proof of the specialised multisig
Tip revision: b9a0809
coq-mi-cho-coq.install
bin: [
  "src/michocoq/extraction/_build/michocoq.native" {"michocoq"}
]
back to top