Skip to content
Back to pull request #1321

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

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 #425

build-otknl

build-otknl
succeeded Oct 25, 2024 in 2h 9m 41s