Verus

Type	programming language, computer program, formal system
License	MIT License
Website	github.com

Sources: Wikidata (CC0) · Wikidata Q141488238