Skip to content

Qed. [apply_manager_operation_is_valid]

pierrevial requested to merge 430-verify-Apply-6 into master

No [admit] anymore in the proof of [apply_manager_operation_is_valid].

Adresses #430

Merge request reports