Skip to content
Lean Action CI

Core.Main: Congruence lemmas for program equivalence #66

Sign in to view logs

Core.Main: Congruence lemmas for program equivalence

Core.Main: Congruence lemmas for program equivalence #66

Triggered via pull request March 4, 2025 10:25
@lukaszczlukaszcz
synchronize #4
equiv-congruence
Status Success
Total duration 1m 34s
Artifacts –

lean_action_ci.yml

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