Lean Action CI

Fill all remaining sorries in Composition/Correctness.lean #106

Sign in to view logs

Triggered via push January 1, 2026 14:17

jessealama

general-composition

Status Success

Total duration 2m 5s

Artifacts –

lean_action_ci.yml

on: push