Giters

Phillammon / behaviour

Grakn's Formal Verification System

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Grakn Behaviour Specification

About

Grakn's Formal Verification System

License:GNU Affero General Public License v3.0

Languages

Language:Gherkin 98.5%Language:Starlark 1.5%