nightly-2024-12-29

Changes since nightly-2024-12-28:

Full commit log

• 536c6a8 chore: update stage0
• 9c0ef2a feat: add grind_pattern command (#6470)
• a781f98 feat: missing data for grind e-match (#6469)
• 5930db9 fix: Int.reduceNeg simproc (#6468)
• 3fc7485 fix: check function types when detecting congruences in grind (#6466)