https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: b77cddbe62785f60f9e19fa618fa91bc33177458 authored by Tomáš Zemanovič on 11 March 2020, 10:37:55 UTC
Update generic multisig and its proof to use CHAIN_ID
Tip revision: b77cddb
coq-mi-cho-coq.install
bin: [
  "src/michocoq/extraction/_build/michocoq.native" {"michocoq"}
]
back to top