Installation

To compile and run Gobra locally, please refer to Gobra's installation instructions.

You can also verify programs directly on this site on the playground page.

Gobra can be used with various development tools:

• gobra-ide: Visual Studio Code extension for Gobra (automatically installs dependencies)
• gobra-action: run Gobra in a CI workflow
• gobra-mode: support for the Emacs editor (requires a Gobra jar and Z3)