Code

feat: lake: local package overrides#6411

Code

Open

tydeu wants to merge 1 commit intoleanprover:masterleanprover/lean4:masterfrom tydeu:lake/package-overridestydeu/lean4:lake/package-overridesCopy head branch name to clipboard

+176-36

Commits

Commits on Dec 18, 2024

• feat: lake: local package overrides

  tydeu

  committed
  ba01e03