Skip to content

Reuse verified Lean proofs across release platforms - #6

Merged
Polarnova merged 1 commit into
mainfrom
olean-caravan
Jul 24, 2026
Merged

Reuse verified Lean proofs across release platforms#6
Polarnova merged 1 commit into
mainfrom
olean-caravan

Reuse verified Lean proofs across release platforms

59cc9cc
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar