Skip to content
CI

Proving converse of the equivalence of contextual refinement definitions #18

Sign in to view logs

Proving converse of the equivalence of contextual refinement definitions

Proving converse of the equivalence of contextual refinement definitions #18

Run time

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