https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: bda8d8b39be75438b0dcc292cb82494852da8c50 authored by zhenlei on 29 July 2019, 13:13:46 UTC
[merge_with_shared_storage]add code and proof
Tip revision: bda8d8b
Error
404

Resource not found

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