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

Rename Arit

Open TheoWinterhalter opened this issue 3 years ago • 0 comments

In the paper it is now called dom for domain.

TheoWinterhalter avatar Aug 31 '22 09:08 TheoWinterhalter