Download JAR files tagged by proofs with all dependencies

puli from group org.liveontologies (version 0.1.0)

A library for manipulating with proofs based on inference rules.

Group: org.liveontologies Artifact: puli
Show documentation Show source

4 downloads

Artifact puli
Group org.liveontologies
Version 0.1.0
Last update 11. October 2017
Organization Live Ontologies Project
URL https://github.com/liveontologies/${project.artifactId}
License The Apache Software License, Version 2.0
Dependencies amount 2
Dependencies guava, slf4j-api,
There are maybe transitive dependencies!

simple-logic-lib from group io.github.pirocks (version 0.0.7)

A simple library for working with first order logic and natural deduction proofs

Group: io.github.pirocks Artifact: simple-logic-lib
Show documentation Show source

0 downloads

Artifact simple-logic-lib
Group io.github.pirocks
Version 0.0.7
Last update 08. April 2019
Organization not specified
URL https://github.com/pirocks/simple-logic-lib
License Apache 2.0
Dependencies amount 3
Dependencies kotlin-stdlib-jdk8, kotlin-test-junit, junit,
There are maybe transitive dependencies!

nd-thing from group io.github.pirocks (version 0.0.7)

A simple library for working with first order logic and natural deduction proofs

Group: io.github.pirocks Artifact: nd-thing
Show documentation Show source

0 downloads

Artifact nd-thing
Group io.github.pirocks
Version 0.0.7
Last update 07. April 2019
Organization not specified
URL https://github.com/pirocks/simple-logic-lib
License Apache 2.0
Dependencies amount 3
Dependencies kotlin-stdlib-jdk8, kotlin-test-junit, junit,
There are maybe transitive dependencies!

merkle-tree from group io.crums (version 1.0.0)

A flexible Merkle tree implementation with support for navigating the tree's nodes and constructing Merkle proofs (about an item's existence in the set).

Group: io.crums Artifact: merkle-tree
Show documentation Show source

0 downloads

Artifact merkle-tree
Group io.crums
Version 1.0.0
Last update 03. September 2022
Organization not specified
URL https://crums.io/project/merkle-tree
License GNU Lesser General Public License, Version 3
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

exonum-java-binding-common from group com.exonum.binding (version 0.10.0)

A common library module for the Exonum core and Java clients, providing Exonum proofs, hashing and cryptographic operations, and serialization support.

Group: com.exonum.binding Artifact: exonum-java-binding-common
Show all versions Show documentation Show source

0 downloads

Artifact exonum-java-binding-common
Group com.exonum.binding
Version 0.10.0
Last update 06. April 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 7
Dependencies exonum-messages, guava, lazysodium-java, protobuf-java, auto-value-annotations, auto-value-gson-runtime, gson,
There are maybe transitive dependencies!

skipledger from group io.crums (version 0.5.1)

The skip ledger, the base data structure as a commitment scheme for append-only ledgers. Differentially proves any cell value in the ledger using compact packaged proofs called morsels.

Group: io.crums Artifact: skipledger
Show all versions Show documentation Show source

0 downloads

Artifact skipledger
Group io.crums
Version 0.5.1
Last update 25. October 2022
Organization not specified
URL Not specified
License GNU Affero General Public License, Version 3
Dependencies amount 2
Dependencies jsonimple, crums-core,
There are maybe transitive dependencies!

protege-proof-justification from group io.github.liveontologies (version 0.1.0)

A plug-in for the [Protégé Desktop](https://protege.stanford.edu) ontology editor that provides a service for the [Protege Justification Explanation](https://github.com/liveontologies/protege-justification-explanation) plug-in. This service computes justifications from proofs using the [Proof Utility Library PuLI](https://github.com/liveontologies/puli).

Group: io.github.liveontologies Artifact: protege-proof-justification
Show documentation Show source

0 downloads

Artifact protege-proof-justification
Group io.github.liveontologies
Version 0.1.0
Last update 24. May 2024
Organization Live Ontologies Project
URL https://github.com/liveontologies/${project.artifactId}
License The Apache Software License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

protege-proof-explanation from group org.liveontologies (version 0.1.0)

This is a plug-in that adds proof-based explanation facilities to the Protege Desktop ontology editor. It registers as an extension to the Protege explanation services and defines an extension point using which OWL proofs can be provided by other Protege plug-ins. The main functionality of this plug-in is displaying, navigating, and updating those proofs in the user interface.

Group: org.liveontologies Artifact: protege-proof-explanation
Show documentation Show source

0 downloads

Artifact protege-proof-explanation
Group org.liveontologies
Version 0.1.0
Last update 12. October 2017
Organization Live Ontologies Project
URL https://github.com/liveontologies/${project.artifactId}
License The Apache Software License, Version 2.0
Dependencies amount 8
Dependencies protege-editor-core, protege-editor-owl, owlapi-osgidistribution, puli, guava, slf4j-api, org.eclipse.equinox.registry, org.apache.servicemix.bundles.javax-inject,
There are maybe transitive dependencies!

Page 4 from 4 (items total 38)