Total downloads
580
FStarLang.fstar-vscode-assistant
fstar-vscode-assistant
7d gain
10
Rolling weekly delta
Rating
-
/ 5
0 reviews
Version
0.17.1
Latest published
Activity
Extension trends
Manifest
Metadata
- Namespace
- FStarLang
- Name
- fstar-vscode-assistant
- License
- MIT
- Homepage
- https://github.com/FStarLang/fstar-vscode-assistant#readme
- Repository
- https://github.com/FStarLang/fstar-vscode-assistant.git
- Reviews
- 0
Taxonomy
Categories
No categories declared.
Description
An interactive editing mode for F*
Archive