src/proto_alpha/lib_protocol/sc_rollup_refutation_storage.ml · master-with-coq-j-and-k · Formal Land / tezos · GitLab

Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

Sep 23, 2022
9fea8f55

removing asserts - actual · 9fea8f55
Andrey Klaus authored Sep 23, 2022 and Guillaume Claret committed Nov 25, 2022

9fea8f55

removing asserts - actual
Andrey Klaus authored Sep 23, 2022 and Guillaume Claret committed Nov 25, 2022

Loading