Skip to content
Lean Action CI

Fill all sorries in PartrecPrime.lean for complete n-ary equivalence #300

Sign in to view logs

Fill all sorries in PartrecPrime.lean for complete n-ary equivalence

Fill all sorries in PartrecPrime.lean for complete n-ary equivalence #300

Triggered via push January 21, 2026 08:19
@jessealamajessealama
pushed 557a17e
feature/partrec-prime-equivalence
Status Success
Total duration 13m 24s
Artifacts –

lean_action_ci.yml

on: push
build
13m 19s
build
Fit to window
Zoom out
Zoom in