Code

fix: hover info for cases h : ...#3084

Code

Merged

kim-em merged 2 commits intoleanprover:masterleanprover/lean4:masterfrom digama0:cases_hoverdigama0/lean4:cases_hoverCopy head branch name to clipboardDec 21, 2023

+63-27

Commits

Commits on Dec 17, 2023

• fix: hover info for cases h : ...

  digama0

  committed
  fb9e98c

Commits on Dec 19, 2023

• add comments

  digama0

  committed
  0027526