Skip to content
Lean Action CI

Core.Main: Congruence lemmas for program equivalence #70

Sign in to view logs

Core.Main: Congruence lemmas for program equivalence

Core.Main: Congruence lemmas for program equivalence #70

The logs for this run have expired and are no longer available.