FStarLang/FStar v2026.07.05
F* v2026.07.05

on GitHub

3 hours ago

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

Check out latest releases or
releases around FStarLang/FStar v2026.07.05

Don't miss a new FStar release

NewReleases is sending notifications on new releases.

Get notifications