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