Code

doc: explain app_delab#6450

Code

Merged

kmill merged 2 commits intoleanprover:masterleanprover/lean4:masterfrom eric-wieser:patch-34eric-wieser/lean4:patch-34Copy head branch name to clipboardDec 29, 2024

+9

Commits

Commits on Dec 26, 2024

• doc: explain app_delab

  eric-wieser

  authored
  6071281

Commits on Dec 28, 2024

• Update src/Lean/PrettyPrinter/Delaborator/Basic.lean

  Show description for f5cd80a
  

  eric-wieser

  and

  kmill

  authored
  f5cd80a