Code

feat: try? tactic improvements#6981

Code

Merged

leodemoura merged 7 commits intomasterleanprover/lean4:masterfrom try_max_suggestionsleanprover/lean4:try_max_suggestionsCopy head branch name to clipboardFeb 7, 2025

+127-98

Commits

Commits on Feb 7, 2025

• chore: add max and missing

  leodemoura

  committed
  aeb89c9

  Copy full SHA for aeb89c9

• feat: max and missing flags

  leodemoura

  committed
  a9a21d1

  Copy full SHA for a9a21d1

• feat: add try? -only

  leodemoura

  committed
  5988948

  Copy full SHA for 5988948

• chore: rename grind related tests

  Show description for fe05ffa
  leodemoura

  committed
  fe05ffa

  Copy full SHA for fe05ffa

• chore: fix test

  leodemoura

  committed
  c9219c2

  Copy full SHA for c9219c2

• doc: grind no cut

  leodemoura

  committed
  d822c75

  Copy full SHA for d822c75

• feat: generate all combinations

  leodemoura

  committed
  7202352

  Copy full SHA for 7202352