Code

fix: highlighting facet dependencies#6

Code

Merged

david-christiansen merged 1 commit intomainleanprover/subverso:mainfrom rebuildingleanprover/subverso:rebuildingCopy head branch name to clipboardMar 19, 2024

+3-3

Commits

Commits on Mar 19, 2024

• fix: highlighting facet dependencies

  Show description for 0e0810c
  david-christiansen

  committed
  0e0810c

  Copy full SHA for 0e0810c