Giters

alexjpwalker / behaviour

Grakn's Formal Verification System

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Grakn's Formal Verification System

License:GNU Affero General Public License v3.0

Languages

Language:Gherkin 62.8%Language:Java 33.0%Language:Starlark 4.2%