ssprove icon indicating copy to clipboard operation
ssprove copied to clipboard
verified publisher icon SSProve

Rename validity

Open TheoWinterhalter opened this issue 3 years ago • 0 comments

The name is not great, instead we should have relations between code / packages and their interfaces and state.

TheoWinterhalter avatar Jun 29 '22 09:06 TheoWinterhalter