vscode-extensions.fstarlang.fstar-vscode-assistant

Interactive editing mode VS Code extension for F*

Name

vscode-extension-FStarLang-fstar-vscode-assistant

Homepage

• https://github.com/FStarLang/fstar-vscode-assistant

Version

0.23.1

License

• MIT License

Maintainers

• Parrot7483

Defined

Source