Skip to content

Enforce the Formalize execution-notes contract - #124

Closed
Deicyde wants to merge 9 commits into
mainfrom
fix/execution-notes-contract
Closed

Enforce the Formalize execution-notes contract#124
Deicyde wants to merge 9 commits into
mainfrom
fix/execution-notes-contract

State the formalized proof assertion invariant

27c05b3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar