Code

chore: move to v4.8.0-rc1#130

Code

Merged

kim-em merged 4 commits intomasterleanprover-community/aesop:masterfrom bump/v4.8.0leanprover-community/aesop:bump/v4.8.0Copy head branch name to clipboardMay 2, 2024

+65-64

Commits

Commits on Apr 28, 2024

• chore: adaptations for nightly-2024-04-23 (#124)

  Show description for 4b29e34
  

  kim-em

  and

  JLimperg

  authored
  4b29e34

  Copy full SHA for 4b29e34

Commits on May 1, 2024

• chore: adaptations for nightly-2024-04-30 (#127)

  kim-em

  authored
  016b2ec

  Copy full SHA for 016b2ec

• chore: adaptations for nightly-2024-05-01 (#129)

  kim-em

  authored
  1dd6dc2

  Copy full SHA for 1dd6dc2

Commits on May 2, 2024

• chore: move to v4.8.0-rc1

  kim-em

  committed
  86897a9

  Copy full SHA for 86897a9