RDF fact prover and proof validator operating on simple conjunctive rules.
Rust
9
1
Apache License 2.0
Total donated
Undistributed
Share with your subscribers:
Recipients
How the donated funds are distributed
Support the dependencies
Support the repos that depend on this repository
Top contributors
![dependabot[bot]'s profile](https://avatars.githubusercontent.com/dependabot[bot])
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet