Proving converse of the equivalence of contextual refinement definitions #18
Triggered via pull request
November 28, 2023 15:35
hei411
Status
Success
Total duration
11m 33s
Artifacts
–