Code

feat: add option pp.mvars.delayed#5643

Code

Merged

kmill merged 3 commits intoleanprover:masterleanprover/lean4:masterfrom kmill:delayed_mvars_ppkmill/lean4:delayed_mvars_ppCopy head branch name to clipboardOct 8, 2024

+108-26

Commits

Commits on Oct 7, 2024

• feat: add option pp.mvars.delayed

  Show description for fe6f13d
  kmill

  committed
  fe6f13d

Commits on Oct 8, 2024

• review, edits

  kmill

  committed
  0f26967

• fix test

  kmill

  committed
  1fd0835