viper-admin.gobra-ide

Gobra IDE

Total downloads

2,464

7d gain

20

Rolling weekly delta

Rating

- / 5

0 reviews

Version

2.0.1

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: viper-admin
Name: gobra-ide
License: MPL-2.0
Homepage: https://github.com/viperproject/gobra-ide#readme
Repository: https://github.com/viperproject/gobra-ide.git
Reviews: 0

Taxonomy

Categories

Programming Languages

Description

This extension provides interactive IDE features for verifying programs in Gobra.

Archive

Release history

4 latest releases