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

build-expk

build-expk
succeeded Oct 14, 2024 in 1h 12m 58s