qgarchery.why3-vscode

Why3

Open VSX ↗
Total downloads
98
7d gain
0
Rolling weekly delta
Rating
- / 5
0 reviews
Version
0.0.5
Latest published

Activity

Extension trends

Manifest

Metadata

Namespace
qgarchery
Name
why3-vscode
License
MIT
Homepage
https://github.com/QGarchery/why3-vscode#readme
Repository
https://github.com/QGarchery/why3-vscode.git
Reviews
0

Taxonomy

Categories

Programming Languages

Description

Language support for Why3

Archive

Release history

1 latest releases