datopia/invariant

This repository provides invariant verification in Datalog for immutable databases like Datahike.

语言：Clojure · GitHub 星标：11 · Fork：0

话题：analysis · clojure · database · datahike · datalog · datomic · verification

在 GitHub 上查看原仓库