Skip to content
docker-ci-for-pr

Add alternative imperative example and proofs of equivalence with fun-op-sem/imp #411

Sign in to view logs

Add alternative imperative example and proofs of equivalence with fun-op-sem/imp

Add alternative imperative example and proofs of equivalence with fun-op-sem/imp #411

This job succeeded