What's Changed
- Small fixes by @mtzguido in #4288
- Nit, using fancy quotes in error messages by @mtzguido in #4289
- Rel: more reveal/hide inference by @mtzguido in #4292
- Pulse.Sugar: remove option in let_init by @mtzguido in #4293
- Extraction.Krml: showable instances by @mtzguido in #4294
- Tactics: make
easywork on lemmas with preconditions too by @mtzguido in #4295 - Unifier: ignore SMT patterns for subcomp of lemmas by @mtzguido in #4296
- Pulse: remove custom term printer, use normal one by @mtzguido in #4297
- Bump version to 2026.06.07 by @dzomo in #4302
Full Changelog: v2026.05.31...v2026.06.07