What's Changed
- Weaken precondition of uint64_to_sizet, etc. by @tahina-pro in #4340
- Fix #eval to elaborate terms by @mtzguido in #4344
- Bump version to 2026.07.05 by @dzomo in #4345
Full Changelog: v2026.06.28...v2026.07.05
Contributors
mtzguido, tahina-pro, and dzomo