Code

chore: upstream classical tactic#242

Code

Merged

digama0 merged 15 commits intoleanprover-community:mainleanprover-community/batteries:mainfrom kim-em:classicalkim-em/std4:classicalCopy head branch name to clipboardJan 27, 2024

+84

Commits

Commits on Sep 6, 2023

• chore: upstream on_goal / pick_goal / swap

  kim-em

  committed
  abf14f1

  Copy full SHA for abf14f1

• module doc

  kim-em

  committed
  1e8abf1

  Copy full SHA for 1e8abf1

• chore: upstream classical tactic

  kim-em

  committed
  ce98ff6

  Copy full SHA for ce98ff6

Commits on Sep 14, 2023

• Merge remote-tracking branch 'origin/main' into classical

  kim-em

  committed
  0a4cc9f

  Copy full SHA for 0a4cc9f

• merge

  kim-em

  committed
  474e7bc

  Copy full SHA for 474e7bc

Commits on Sep 19, 2023

• Merge remote-tracking branch 'origin/main' into permute_goals

  kim-em

  committed
  4874d67

  Copy full SHA for 4874d67

• Merge remote-tracking branch 'origin/main' into classical

  kim-em

  committed
  03b6a63

  Copy full SHA for 03b6a63

Commits on Nov 26, 2023

• Merge remote-tracking branch 'origin/main' into permute_goals

  kim-em

  committed
  deb2471

  Copy full SHA for deb2471

• merge

  kim-em

  committed
  ae970a1

  Copy full SHA for ae970a1

• lint

  kim-em

  committed
  89e6e27

  Copy full SHA for 89e6e27

• Merge branch 'permute_goals' into classical

  kim-em

  committed
  521695c

  Copy full SHA for 521695c

• lint

  kim-em

  committed
  a36bc3a

  Copy full SHA for a36bc3a

• Merge branch 'permute_goals' into classical

  kim-em

  committed
  c6223ed

  Copy full SHA for c6223ed

Commits on Nov 27, 2023

• fix namespace

  kim-em

  committed
  8dccbce

  Copy full SHA for 8dccbce

Commits on Dec 10, 2023

• Merge remote-tracking branch 'origin/main' into classical

  kim-em

  committed
  87db896

  Copy full SHA for 87db896