chore: adaptations for nightly-2025-11-20 - #175

Merged

chenson2018 merged 83 commits into

bump/v4.27.0from

bump/nightly-2025-11-20

Nov 21, 2025

Commits on Sep 16, 2025

bump toolchain
kim-em
committed
32340fe

Commits on Oct 14, 2025

Merge branch 'main' into nightly-testing
kim-em
committed
d7ef53a
update lakefile.toml: this will break nightly-testing for now
kim-em
committed
e71b7f9

Commits on Oct 17, 2025

bump
kim-em
committed
68b95e6
delete
kim-em
committed
7e4cc4f
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
e5249f6
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
730a40c
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
fb466a4
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
2018c53
chore: bump to nightly-2025-10-17 with mathlib at nightly-testing-2025-10-17
leanprover-community-mathlib4-bot
committed
28b88e6

Commits on Oct 20, 2025

bump Mathlib
kim-em
committed
54b093a
bump mathlib
kim-em
committed
fc0add3
adaptation note
kim-em
committed
58a9400
fix grind problems in LambdaCalculus
kim-em
committed
35b39ab
more fixes in LambdaCalculus
kim-em
committed
d7eff49
another append_assoc
kim-em
committed
9417eaf
grind failures
chenson2018
committed
2921a04
specify patterns
chenson2018
committed
a414f28
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
7f94c9e
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
a3d2d67
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
b949f08
chore: bump to nightly-2025-10-20 with mathlib at nightly-testing-2025-10-20
leanprover-community-mathlib4-bot
committed
74a3954
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
e760a7d

Commits on Oct 21, 2025

chore: bump to nightly-2025-10-21 with mathlib at nightly-testing-2025-10-21
leanprover-community-mathlib4-bot
committed
c458a34
fix incorrect merge
chenson2018
committed
656f20b
set toolchain to a nightly
kim-em
committed
fa7421c

Commits on Oct 22, 2025

Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
f3b5d23
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
04cf20d

Commits on Oct 23, 2025

Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
fa30df8

Commits on Oct 24, 2025

Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
6e3b5d6

Commits on Oct 26, 2025

chore: bump to nightly-2025-10-26 with mathlib at nightly-testing-2025-10-26
leanprover-community-mathlib4-bot
committed
3c375db

Commits on Oct 27, 2025

chore: bump to nightly-2025-10-27 with mathlib at nightly-testing-2025-10-27
leanprover-community-mathlib4-bot
committed
a0b567e
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
fb8a466

Commits on Oct 28, 2025

Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
d4eaae7
changes to multigoal linter
chenson2018
committed
ebfc8bb
replace Finset.toSet
chenson2018
committed
b627a5b

Commits on Oct 29, 2025

chore: bump to nightly-2025-10-29 with mathlib at nightly-testing-2025-10-29
leanprover-community-mathlib4-bot
committed
a196fdf
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
40e8118
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
282e23c

Commits on Oct 30, 2025

chore: bump to nightly-2025-10-30 with mathlib at nightly-testing-2025-10-30
leanprover-community-mathlib4-bot
committed
2d83b2d

Commits on Oct 31, 2025

lint
chenson2018
committed
ed67926
chore: bump to nightly-2025-10-31 with mathlib at nightly-testing-2025-10-31
leanprover-community-mathlib4-bot
committed
adc2f7b

Commits on Nov 1, 2025

changes we should take from main (from PRs)
chenson2018
committed
41a8511
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
e702c50

Commits on Nov 5, 2025

chore: bump to nightly-2025-11-05 with mathlib at nightly-testing-2025-11-05
leanprover-community-mathlib4-bot
committed
de55ae2

Commits on Nov 6, 2025

chore: bump to nightly-2025-11-06 with mathlib at nightly-testing-2025-11-06
leanprover-community-mathlib4-bot
committed
c9f6083

Commits on Nov 8, 2025

chore: bump to nightly-2025-11-08 with mathlib at nightly-testing-2025-11-08
leanprover-community-mathlib4-bot
committed
1c4e4f2

Commits on Nov 9, 2025

Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
d6495ea

Commits on Nov 10, 2025

chore: bump to nightly-2025-11-10 with mathlib at nightly-testing-2025-11-10
leanprover-community-mathlib4-bot
committed
19d2653
more lint changes
chenson2018
committed
3c0e4f5

Commits on Nov 11, 2025

chore: bump to nightly-2025-11-11 with mathlib at nightly-testing-2025-11-11
leanprover-community-mathlib4-bot
committed
55dd070

Commits on Nov 12, 2025

chore: bump to nightly-2025-11-12 with mathlib at nightly-testing-2025-11-12
leanprover-community-mathlib4-bot
committed
3fa0b55
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
f135d38

Commits on Nov 13, 2025

chore: bump to nightly-2025-11-13 with mathlib at nightly-testing-2025-11-13
leanprover-community-mathlib4-bot
committed
c29367b
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
e6aebd7

Commits on Nov 14, 2025

Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
5e5e0ea
chore: bump to nightly-2025-11-14 with mathlib at nightly-testing-2025-11-14
leanprover-community-mathlib4-bot
committed
c41245c
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
997971a

Commits on Nov 15, 2025

chore: bump to nightly-2025-11-15 with mathlib at nightly-testing-2025-11-15
leanprover-community-mathlib4-bot
committed
13cdf35
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
813cfd3

Commits on Nov 17, 2025

Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
bfc69ba
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
b367da2
chore: bump to nightly-2025-11-17 with mathlib at nightly-testing-2025-11-17
leanprover-community-mathlib4-bot
committed
222d5ab
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
0e41c2f

Commits on Nov 18, 2025

Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
2d54f98
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
520605c
chore: bump to nightly-2025-11-18 with mathlib at nightly-testing-2025-11-18
leanprover-community-mathlib4-bot
committed
4142d49

Commits on Nov 19, 2025

FinFun grind failure
chenson2018
committed
985f4d5
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
72c88be
fix
kim-em
committed
3431d10
Merge branch 'nightly-testing' of github.com:leanprover/cslib into nightly-testing
kim-em
committed
53ba77f
remove redundant have
kim-em
committed
88a38b0
Auto-resolved conflicts in lean-toolchain and lake-manifest.json
mathlib4-bot
committed
015da0d
chore: adaptations for nightly-2025-11-18
mathlib4-bot
committed
7fab2e7
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
e3ff8df
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
72b08bc
Merge main into nightly-testing
leanprover-community-mathlib4-bot
committed
02067a4

Commits on Nov 20, 2025

chore: bump to nightly-2025-11-20 with mathlib at nightly-testing-2025-11-20
leanprover-community-mathlib4-bot
committed
094eb8a
destructuring needed in map_val_mem
chenson2018
committed
3c82c96
unused variable
chenson2018
committed
534e652
linter
chenson2018
committed
8ce06df

Commits on Nov 21, 2025

chore: adaptations for nightly-2025-11-20
mathlib4-bot
committed
4ab93be
lint
chenson2018
committed
246a3c2