Skip to content
CI

Proving converse of the equivalence of contextual refinement definitions #20

Sign in to view logs

Proving converse of the equivalence of contextual refinement definitions

Proving converse of the equivalence of contextual refinement definitions #20

Triggered via pull request December 1, 2023 15:15
@hei411hei411
synchronize #2
hei411:playground
Status Success
Total duration 11m 36s
Artifacts –

build.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in