Quick start
- Start MSVS and create new project.
- Default structure:
- Let's try to type something: basic sintax error highlighting provided.
- You can specify the arguments for FStar verificator. Right click on project node -> Properties -> Command line arguments.
- Try to verify example from FStar tutorial.
- Try to comment off some erroneous code.
Navigation from error to code:
- Code generation (as an example of additional args for FStar)
