Releases · mtzguido/FStar · GitHub

8000 Releases · mtzguido/FStar · GitHub

More Web Proxy on the site http://driver.im/

07 Jan 22:02

F* v2025.01.07

Full Changelog: https://github.com/mtzguido/FStar/commits/v2025.01.07

Assets 5

05 Jan 18:36

F* v2024.12.03 Pre-release

Pre-release

Full Changelog: https://github.com/mtzguido/FStar/commits/v2024.12.03

Assets 5

08 Jan 01:31

nightly Latest

Latest

Making sure releases and nightly builds have proper versions

Assets 5

0