Commit 2023-10-22 08:08 85acbc3d
View on Github →chore: bump std and aesop (#7746)
This includes leanprover/std4#301 which requires slight tweaks to the List.sublists API.
One other proof also breaks, presumably due to other Std4 commits.
chore: bump std and aesop (#7746)
This includes leanprover/std4#301 which requires slight tweaks to the List.sublists API.
One other proof also breaks, presumably due to other Std4 commits.