Proof Utility Library

A library for manipulating with proofs based on inference rules.

For further information, see https://github.com/liveontologies/puli.

Usage

To use this library add the following Maven dependency:

<dependency>
  <groupId>org.liveontologies</groupId>
  <artifactId>puli</artifactId>
  <version>0.1.0</version>
</dependency>

See src/test/java for examples on how to use this library.

To use snapshots versions of this library (if not compiled from sources), please add the Sonatype OSSRH snapshot repository either to your pom.xml or settings.xml:

<repositories>
  <repository>
    <id>ossrh</id>
    <url>https://oss.sonatype.org/content/repositories/snapshots</url>
    <snapshots>
      <enabled>true</enabled>
    </snapshots>
  </repository>
</repositories>

License

Proof Utility Library is Copyright (c) 2014 - 2024 Live Ontologies Project

All sources of this project are available under the terms of the Apache License 2.0 (see the file LICENSE.txt).