Zulip Chat Archive
Stream: nightly-testing
Topic: nightly#99 adaptations for nightly-2025-10-27
github mathlib4 bot (Oct 27 2025 at 14:05):
chore: adaptations for nightly-2025-10-27 nightly#99 Please review this PR. At the next toolchain release this diff will land in 'master'.
Kim Morrison (Oct 27 2025 at 14:23):
This includes #30958, some master-ready preparations for LawfulOfScientific.
Last updated: Dec 20 2025 at 21:32 UTC