This site is where fstar can be downloaded. There are versions for windows, mac, and linux. There are also links to a tutorial as well as links to papers, a blog, a mailing list, and a wiki. I signed up for the mailing list. I also downloaded the Windows 64Bit binaries and extracted the zip file onto my c: drive. (3084 files were extracted into a subdirectory called 'fstar') :

Before checking out the contents of the download though, I am curious about the page's link to a tutorial. I'll check that out next.