https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: 66fe9575cf5024198f876ef78b93727e20634fb1 authored by Raphaƫl Cauderlier on 01 July 2019, 12:42:49 UTC
Apply suggestion to src/contracts_coq/generic_multisig.v
Tip revision: 66fe957
_CoqProject
src
back to top