What's Changed
- Reduce applied projections by @mtzguido in #4277
- Fix #4280 by @mtzguido in #4281
- Pin devcontainer to Ubuntu 24.04. by @gebner in #4282
- Prover: solve single-valued implicits when applying prover lemmas by @mtzguido in #4284
- Remove duplicate version number definition. by @gebner in #4278
- FStar.Fin: relax argument to fin/under types by @mtzguido in #4285
- Bump version to 2026.05.31 by @dzomo in #4286
Full Changelog: v2026.05.24...v2026.05.31