Skip to content

Lemma apply_internal_operation_contents_is_valid proved

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

Still 1 problematic admit (will perhaps be fixed for the MR).

Addresses #430

Edited by pierrevial

Merge request reports