Skip to content
Lean Action CI

Core.Main: Congruence lemmas for program equivalence #63

Sign in to view logs

Core.Main: Congruence lemmas for program equivalence

Core.Main: Congruence lemmas for program equivalence #63

Triggered via pull request March 3, 2025 18:56
@lukaszczlukaszcz
synchronize #4
equiv-congruence
Status Success
Total duration 1m 35s
Artifacts –

lean_action_ci.yml

on: pull_request
build
1m 27s
build
Fit to window
Zoom out
Zoom in