Skip to content

Replace the Mathlib dependency with a vendored, checked subset - #8713

Closed
cjen1-msft wants to merge 2 commits into
mainfrom
cjen1-msft-jubilant-doodle
Closed

Replace the Mathlib dependency with a vendored, checked subset#8713
cjen1-msft wants to merge 2 commits into
mainfrom
cjen1-msft-jubilant-doodle

Use the vendored Mathlib subset in the Lean packages

b78572f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar