Skip to content

Formalize source-bound CK cleanup-prefix scalar reordering in Lean - #1086

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
Hope7Happiness:contribution/seed76-independent-verification
Oct 16, 2026
Merged

Formalize source-bound CK cleanup-prefix scalar reordering in Lean#1086
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
Hope7Happiness:contribution/seed76-independent-verification

Formalize source-bound CK cleanup-prefix scalar reordering in Lean

89a2dac
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs