Download elk-proofs JAR file with all dependencies

elk-proofs from group dev.ikm.elk (version 0.25.0)

Utilities to present tracing results (encoded proofs) to the user

Group: dev.ikm.elk Artifact: elk-proofs
Show documentation Show source

0 downloads

Artifact elk-proofs
Group dev.ikm.elk
Version 0.25.0
Last update 14. August 2024
Tags: tracing proofs utilities present results user encoded
Organization not specified
URL Not specified
License not specified
Dependencies amount 8
Dependencies guava, puli, elk-owl-model, elk-owl-implementation, elk-reasoner, elk-util-collections, elk-util-common, elk-util-hashing,
There are maybe transitive dependencies!

Page 1 from 1 (items total 1)