Name		Name	Last commit message	Last commit date
.github		.github
.grabl		.grabl
concept		concept
connection		connection
dependencies/vaticle		dependencies/vaticle
typeql		typeql
.bazelrc		.bazelrc
.gitignore		.gitignore
BUILD		BUILD
LICENSE		LICENSE
README.md		README.md
WORKSPACE		WORKSPACE

Repository files navigation

TypeDB Behaviour Specification

About

Grakn's Formal Verification System

Custom properties

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages