https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: e8f74dfd815040efcf6d88ce32a1f14ab9f83263 authored by Colin González on 05 March 2021, 14:06:39 UTC
Proof for updateTokenPool
Tip revision: e8f74df
coq-mi-cho-coq.install
bin: [
  "src/michocoq/extraction/_build/michocoq.native" {"michocoq"}
]
back to top