https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 1f0c09730df60b78c19f0c965d697052e7484b9f authored by Arvid Jakobsson on 16 April 2021, 14:03:14 UTC
Functional specification and proof for TokenToXTZ
Tip revision: 1f0c097
Error
404

Resource not found

NotFoundExc: Directory entry with path src/contracts_coq/fa12_dexter.v from root directory 105f4d71d0828789645690a4aff031be512b1f86 not found
back to top