Facts
- Appeared
- 2016
- First release
- 2016
- Kind
- science project
- Based on
- Separation Logic and Abstraction
Sources: Wikidata (CC0) · Wikidata Q115971895
Languages based on it · 1
| Language | Appeared | Paradigms | Type system | Languages it influenced |
|---|---|---|---|---|
| Gobra | — | — | — | — |