What's Changed
- Add real exp/log to the library by @mtzguido in #4304
- Update karamel submodule to 11bb8e1a by @dzomo in #4318
- Add same_base_null lemma to Pulse.Lib.Array.Core by @KimayaBedarkar in #4320
- Bump version to 2026.06.21 by @dzomo in #4326
Full Changelog: v2026.06.14...v2026.06.21
Contributors
mtzguido, dzomo, and KimayaBedarkar