https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: f78585b25685728cb3640da35a816b24119d36e0 authored by zhenlei on 11 June 2019, 12:46:36 UTC
[presentation|multisig]Add presentation about multisig's modification
Tip revision: f78585b
Error
404

Resource not found

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