Download puli JAR file with all dependencies
puli from group dev.ikm.puli (version 0.6.0)
A library for manipulating with proofs based on inference rules.
Artifact puli
Group dev.ikm.puli
Version 0.6.0
Last update 09. October 2024
Tags: with based library inference proofs manipulating rules
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!
Group dev.ikm.puli
Version 0.6.0
Last update 09. October 2024
Tags: with based library inference proofs manipulating rules
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!
Page 1 from 1 (items total 1)