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

Triggered via pull request March 9, 2025 13:14
@lukaszczlukaszcz
synchronize #4
equiv-congruence
Status Success
Total duration 1m 30s
Artifacts –

lean_action_ci.yml

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