An interactive mode for F* in VS Code - View it on GitHub