Skip to content

[Lean] PR442 level model, phase 2: idle pending operators equal the derived masks over any field with 2 ≠ 0 - #1494

Open
cheesegrader wants to merge 21 commits into
CrocSwap:mainfrom
cheesegrader:lean/pr442-level-model-phase2
Open

[Lean] PR442 level model, phase 2: idle pending operators equal the derived masks over any field with 2 ≠ 0#1494
cheesegrader wants to merge 21 commits into
CrocSwap:mainfrom
cheesegrader:lean/pr442-level-model-phase2

Carry Phase 1 validation evidence into Phase 2

83bde39
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs