Proof Utility Library 0.1.0

A library for manipulating with proofs based on inference rules.

License	The Apache Software License, Version 2.0
GroupId	org.liveontologies
ArtifactId	puli
Version	0.1.0
Type	bundle
Description	Proof Utility Library A library for manipulating with proofs based on inference rules.
Project URL	https://github.com/liveontologies/puli
Project Organization	Live Ontologies Project
Source Code Management	https://github.com/liveontologies/puli

Download puli 0.1.0

Filename	Size
puli-0.1.0.pom
puli-0.1.0.jar	173 KB
puli-0.1.0-sources.jar	111 KB
puli-0.1.0-javadoc.jar	424 KB

Dependencies

compile (2)

Group / Artifact	Type	Version
com.google.guava : guava	jar	18.0
org.slf4j : slf4j-api	jar	1.7.12

test (2)

Group / Artifact	Type	Version
org.slf4j : slf4j-simple	jar	1.7.12
junit : junit	jar	4.11

Project Modules

There are no modules declared in this project.