Skip to content
Lean Action CI

Core.Main: Congruence lemmas for program equivalence #67

Sign in to view logs

Core.Main: Congruence lemmas for program equivalence

Core.Main: Congruence lemmas for program equivalence #67

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1m 37s
1m 37s