| Type | programming language, software, science project |
|---|---|
| License | Mozilla Public License, version 2.0 |
| Latest version | 26.09 |
| Website | gobra.ethz.ch |
Sources: Wikidata (CC0) · Wikidata Q116619880
| Type | programming language, software, science project |
|---|---|
| License | Mozilla Public License, version 2.0 |
| Latest version | 26.09 |
| Website | gobra.ethz.ch |
Sources: Wikidata (CC0) · Wikidata Q116619880