Code

chore: reset to nightly-testing#1041

Code

Closed

thorimur wants to merge 9 commits intoleanprover-community:lean-pr-testing-3973leanprover-community/batteries:lean-pr-testing-3973from thorimur:lean-pr-testing-3973-resetthorimur/std4:lean-pr-testing-3973-resetCopy head branch name to clipboard

+411-233

Commits

Commits on Nov 12, 2024

• chore: robustify some String proofs (leanprover-community#1038)

  kim-em

  authored
  fd970b2

  Copy full SHA for fd970b2

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  cba57c9

  Copy full SHA for cba57c9

• uncomment UnionFind

  digama0

  committed
  1459344

  Copy full SHA for 1459344

• feat: generate docs from subdirectory (leanprover-community#1028)

  Show description for e6047ba
  

  fgdorais

  and

  kim-em

  authored
  e6047ba

  Copy full SHA for e6047ba

• feat: List.SatisfiesM_foldlM (leanprover-community#1034)

  Show description for 66a3bd2
  

  3 peopleauthored
  66a3bd2

  Copy full SHA for 66a3bd2

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  72c9c10

  Copy full SHA for 72c9c10

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  1ef59a8

  Copy full SHA for 1ef59a8

Commits on Nov 13, 2024

• chore: cleanup proof of satisfiesM_foldlM (leanprover-community#1039)

  kim-em

  authored
  e0d8449

  Copy full SHA for e0d8449

• Merge main into nightly-testing

  leanprover-community-mathlib4-bot

  committed
  65594b6

  Copy full SHA for 65594b6