https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: 57f6eb857dfa45b58e830bbc88762b0e8ae779b1 authored by Yann Regis-Gianas on 26 February 2021, 13:49:29 UTC
Verify a vesting contract
Tip revision: 57f6eb8
coq-mi-cho-coq.install
bin: [
  "src/michocoq/extraction/_build/michocoq.native" {"michocoq"}
]
back to top