Share on Facebook Tweet on Twitter Share on LinkedIn Share by email

Note The download available on this page is for FStar-0.5-alpha, the latest release as of Sep 7, 2012. The information below (and the filename) incorrectly states the version number as 0.4.2-alpha. We expect to resolve this discrepancy within the next week. Go ahead with the download---after expanding the zip file, you will see the correct version number.

Related Links