Code

feat: adapt to lean4#2964#36

Code

Merged

kim-em merged 2 commits intomainleanprover-community/ProofWidgets4:mainfrom lean-pr-testing-2964leanprover-community/ProofWidgets4:lean-pr-testing-2964Copy head branch name to clipboardDec 22, 2023

+21-266

Commits

Commits on Dec 20, 2023

• feat: adapt to core changes in lean4#2964

  Vtec234

  committed
  bf61e90

  Copy full SHA for bf61e90

Commits on Dec 22, 2023

• move to v4.5.0-rc1

  kim-em

  committed
  26ed7b3

  Copy full SHA for 26ed7b3