https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: b77cddbe62785f60f9e19fa618fa91bc33177458 authored by Tomáš Zemanovič on 11 March 2020, 10:37:55 UTC
Update generic multisig and its proof to use CHAIN_ID
Tip revision: b77cddb
Error
404

Resource not found

NotFoundExc: Directory entry with path src/contracts_coq/fa12_camlcase.v from root directory 8b6044433beb99fc89e456740ae5615814e653f5 not found
back to top