Skip to content

[Lean] PR442 level model, phase 1: literal entrance projector has range span(q) - #1365

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

[Lean] PR442 level model, phase 1: literal entrance projector has range span(q)#1365
cheesegrader wants to merge 16 commits into
CrocSwap:mainfrom
cheesegrader:lean/pr442-level-model

Record local Lean builds, complete phase axiom audits and semantic co…

22e4084
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs