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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (8.16.1, 4.14.1-flambda)
11m 24s
11m 24s