Download JAR files tagged by proofs with all dependencies

io.arrow-kt.proofs.gradle.plugin from group io.arrow-kt.proofs (version 2.0.0-alpha.6)

Arrow Proofs

Group: io.arrow-kt.proofs Artifact: io.arrow-kt.proofs.gradle.plugin
Show all versions Show documentation

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact io.arrow-kt.proofs.gradle.plugin
Group io.arrow-kt.proofs
Version 2.0.0-alpha.6
Last update 26. May 2022
Organization not specified
URL https://github.com/arrow-kt/arrow-proofs/
License https://www.apache.org/licenses/LICENSE-2.0.txt
Dependencies amount 1
Dependencies arrow-proofs-gradle-plugin,
There are maybe transitive dependencies!

arrow-meta-prelude-iosarm64 from group io.arrow-kt (version 2.0.0-alpha.6)

Arrow Proofs

Group: io.arrow-kt Artifact: arrow-meta-prelude-iosarm64
Show all versions Show documentation

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact arrow-meta-prelude-iosarm64
Group io.arrow-kt
Version 2.0.0-alpha.6
Last update 26. May 2022
Organization not specified
URL https://github.com/arrow-kt/arrow-proofs/
License https://www.apache.org/licenses/LICENSE-2.0.txt
Dependencies amount 1
Dependencies kotlin-stdlib-common,
There are maybe transitive dependencies!

arrow-meta-prelude-iosarm32 from group io.arrow-kt (version 2.0.0-alpha.6)

Arrow Proofs

Group: io.arrow-kt Artifact: arrow-meta-prelude-iosarm32
Show all versions Show documentation

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact arrow-meta-prelude-iosarm32
Group io.arrow-kt
Version 2.0.0-alpha.6
Last update 26. May 2022
Organization not specified
URL https://github.com/arrow-kt/arrow-proofs/
License https://www.apache.org/licenses/LICENSE-2.0.txt
Dependencies amount 1
Dependencies kotlin-stdlib-common,
There are maybe transitive dependencies!

cdc-applic-proofs-core from group com.gitlab.cdc-java.applic (version 0.13.3)

Applicabilities Proofs Core.

Group: com.gitlab.cdc-java.applic Artifact: cdc-applic-proofs-core
Show all versions Show documentation Show source

0 downloads

Artifact cdc-applic-proofs-core
Group com.gitlab.cdc-java.applic
Version 0.13.3
Last update 28. September 2024
Organization not specified
URL https://www.gitlab.com/cdc-java/cdc-applic
License not specified
Dependencies amount 8
Dependencies cdc-applic-dictionaries, cdc-applic-dictionaries-core, cdc-applic-expressions, cdc-applic-proofs, cdc-util-core, org.ow2.sat4j.core, log4j-api, log4j-iostreams,
There are maybe transitive dependencies!

owlapi-proof from group dev.ikm.puli (version 0.6.0)

Extension to the OWL API interfaces to represent and manipulate with proofs.

Group: dev.ikm.puli Artifact: owlapi-proof
Show all versions Show documentation Show source

0 downloads

Artifact owlapi-proof
Group dev.ikm.puli
Version 0.6.0
Last update 09. October 2024
Organization not specified
URL Not specified
License The Apache Software License, Version 2.0
Dependencies amount 3
Dependencies owlapi-api, jsr305, puli,
There are maybe transitive dependencies!

owlapi-proof from group org.liveontologies (version 0.1.0)

Extension to the OWL API interfaces to represent and manipulate with proofs.

Group: org.liveontologies Artifact: owlapi-proof
Show documentation Show source

2 downloads

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

puli from group dev.ikm.puli (version 0.6.0)

A library for manipulating with proofs based on inference rules.

Group: dev.ikm.puli Artifact: puli
Show all versions Show documentation Show source

0 downloads

Artifact puli
Group dev.ikm.puli
Version 0.6.0
Last update 09. October 2024
Organization not specified
URL https://github.com/liveontologies/${project.artifactId}
License The Apache Software License, Version 2.0
Dependencies amount 3
Dependencies slf4j-api, guava, junit,
There are maybe transitive dependencies!

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

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

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

0 downloads

Artifact elk-proofs
Group dev.ikm.elk
Version 0.31.0
Last update 08. October 2024
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!

elk-proofs from group io.github.liveontologies (version 0.6.0)

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

Group: io.github.liveontologies Artifact: elk-proofs
Show documentation Show source

0 downloads

Artifact elk-proofs
Group io.github.liveontologies
Version 0.6.0
Last update 24. May 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 9
Dependencies elk-reasoner, elk-util-common, elk-util-collections, elk-util-hashing, elk-owl-model, elk-owl-implementation, puli, guava, slf4j-api,
There are maybe transitive dependencies!

key.core.proof_references from group org.key-project (version 2.12.2)

API for using KeY for maintaining references between objects in proofs

Group: org.key-project Artifact: key.core.proof_references
Show all versions Show documentation Show source

0 downloads

Artifact key.core.proof_references
Group org.key-project
Version 2.12.2
Last update 16. December 2023
Organization not specified
URL https://key-project.org/
License GNU General Public License (GPL), Version 2
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

Page 3 from 3 (items total 40)