https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: b983c92f90ad9aafc713877ac3ca2885ffd05568 authored by Yann Regis-Gianas on 29 April 2021, 08:15:33 UTC
New spec and proof for TokenToToken
Tip revision: b983c92
coq-mi-cho-coq.install
bin: [
  "src/michocoq/extraction/_build/michocoq.native" {"michocoq"}
]
back to top