github FStarLang/FStar v2024.08.14

latest release: v2024.09.05
pre-release2 months ago

What's Changed

New Contributors

Full Changelog: v2024.01.13...v2024.08.14

Don't miss a new FStar release

NewReleases is sending notifications on new releases.