https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 40a3ee2d51e80bfe6e21bfec58d608f63bde6000 authored by zhenlei on 16 July 2019, 13:12:04 UTC
[coq|spend]add proof
Tip revision: 40a3ee2
Error
404

Resource not found

NotFoundExc: Directory entry with path src/contracts_coq/fa12_camlcase_spec.v from root directory 9f6fd214142fc1ade0345aef507e6b4bb1682f1d not found
back to top