Code

feat: show decl module in hover#1638

Code

Merged

leodemoura merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom digama0:hover_moduledigama0/lean4:hover_moduleCopy head branch name to clipboardSep 25, 2022

+48-44

Commits

Commits on Sep 23, 2022

• feat: show decl module in hover

  digama0

  committed
  6425f65

  Copy full SHA for 6425f65