Skip to content
Lean Action CI

Core.Main: Congruence lemmas for program equivalence #65

Sign in to view logs

Core.Main: Congruence lemmas for program equivalence

Core.Main: Congruence lemmas for program equivalence #65

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

lean_action_ci.yml

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