Download and install Atom for your platform
Run apm install, followed by apm link from the root directory of this repository.
Any file with a .fst .fsti .fs7 extension will trigger loading of the language-fstar mode.
For now, you only get very simple syntax highlighting.
Install the fstar-interactive package