https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 044efcc19ae38c2d844b601973e571b1e3311dbd authored by Brian Guo on 05 April 2019, 20:18:13 UTC
[add] moved important tactics to util file; used tactics in multisig
Tip revision: 044efcc
Error
404

Resource not found

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