https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 08edb74856d05a9ecdbc5dc5e40903aee308bd1b authored by Arvid Jakobsson on 28 September 2020, 21:46:43 UTC
[dexter] update proof for exchange entrypoints
Tip revision: 08edb74
Error
404

Resource not found

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