v2021.09.04

Release v2021.09.04

v2021.08.27

Release v2021.08.27

v2021.07.31

Release v2021.07.31

v2021.07.24

Release v2021.07.24

v2021.07.17

Release v2021.07.17

v2021.06.26

Release v2021.06.26

v2021.06.23

Release v2021.06.23

v2021.06.06

Release v2021.06.06

v2021.05.28

Release v2021.05.28

This release was automatically generated, cf. PR #2275

v0.9.7.0-alpha1 (Summer Schools)

A preview for an upcoming major release in preparation for several summer schools. Precise release notes coming up in the non-alpha release, but you can already have a look at:
https://github.com/FStarLang/FStar/blob/v0.9.7.0-alpha1/CHANGES.md