Skip to main content

🦏 Sc_rollup_storage.v

Proofs

See code, Gitlab , OCaml

The function [address_from_nonce] is valid.
The function [originate] is valid.
The function [kind_value] is valid.
The function [list_unaccounted] is valid.
The function [genesis_info] is valid.
The function [parameters_type] is valid.