VisualFStar
How to install
- Install Microsoft Visual Studio 2015
- Check that tools for F# are installed
- Install Z3 4.4.0
- Add path to Z3 binaries to system PATH variable
- Install FStar runtime (FStarRuntimeSetup.msi)
- Install FStar extension (VisualFStar.vsix)
Samples & documentation
- Quick start contains a brief overview of the plugin.
Contributing and copyright
The project is hosted on GitHub where you can report issues, fork the project and submit pull requests. If you're adding a new public API, please also consider adding samples that can be turned into a documentation. You might also want to read the library design notes to understand how it works.
The library is available under Public Domain license, which allows modification and redistribution for both commercial and non-commercial purposes. For more information see the License file in the GitHub repository.
