Skip to content
Lean Action CI

Readd proof that trace equiv is equiv closure of swapping once #186

Sign in to view logs

Readd proof that trace equiv is equiv closure of swapping once

Readd proof that trace equiv is equiv closure of swapping once #186

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
4m 27s
4m 27s