Publisher
Extensions by FStarLang.
Namespace
FStarLang
| Extension | 7d gain | Total downloads | Rating | Version | Favorite and open on Open VSX |
|---|---|---|---|---|---|
| fstar-vscode-assistant FStarLang.fstar-vscode-assistant | ↗ |
Publisher
Namespace
| Extension | 7d gain | Total downloads | Rating | Version | Favorite and open on Open VSX |
|---|---|---|---|---|---|
| fstar-vscode-assistant FStarLang.fstar-vscode-assistant | ↗ |