https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: a5c0f3c90a9958b914cb4be7236db645438c7ffa authored by Guillaume Claret on 18 February 2020, 14:19:28 UTC
[of_ocaml] Add generated Coq code from the Tezos protocol with some proofs
Tip revision: a5c0f3c
Error
404

Resource not found

NotFoundExc: Directory entry with path src/contracts_coq/fa12_dexter_spec.v from root directory 991572d01605675c89e2a90fee9f343d51fa6a54 not found
back to top