https://gitlab.com/nomadic-labs/mi-cho-coq
History
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
Error
404

Resource not found

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