Code

test: grind#6440

Code

Merged

leodemoura merged 5 commits intomasterleanprover/lean4:masterfrom grind_eq8leanprover/lean4:grind_eq8Copy head branch name to clipboardDec 24, 2024

+64-1

Commits

Commits on Dec 24, 2024

• test: congruence and nested proofs in grind

  leodemoura

  committed
  a99d4f8

• chore: grind test file names

  leodemoura

  committed
  35d4d65

• chore: missing set_option grind.debug true

  leodemoura

  committed
  b6756fd

• fix: avoid unreachable! at getENode

  Show description for 983784a
  leodemoura

  committed
  983784a

• test: grind test with many equalities

  leodemoura

  committed
  16a4e4d