A Simple Logic Library 0.0.7

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

License	Apache 2.0
GroupId	io.github.pirocks
ArtifactId	simple-logic-lib
Version	0.0.7
Type	jar
Description	A Simple Logic Library A simple library for working with first order logic and natural deduction proofs
Project URL	https://github.com/pirocks/simple-logic-lib
Source Code Management	https://github.com/pirocks/simple-logic-lib.git

Download simple-logic-lib 0.0.7

Filename	Size
simple-logic-lib-0.0.7.pom
simple-logic-lib-0.0.7.jar	200 KB
simple-logic-lib-0.0.7-sources.jar	17 KB
simple-logic-lib-0.0.7-javadoc.jar	419 KB

Apache Maven

<!-- https://jarcasting.com/artifacts/io.github.pirocks/simple-logic-lib/ -->
<dependency>
    <groupId>io.github.pirocks</groupId>
    <artifactId>simple-logic-lib</artifactId>
    <version>0.0.7</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/io.github.pirocks/simple-logic-lib/
implementation 'io.github.pirocks:simple-logic-lib:0.0.7'

Gradle Kotlin

// https://jarcasting.com/artifacts/io.github.pirocks/simple-logic-lib/
implementation ("io.github.pirocks:simple-logic-lib:0.0.7")

Apache Buildr

'io.github.pirocks:simple-logic-lib:jar:0.0.7'

Apache Ivy

<dependency org="io.github.pirocks" name="simple-logic-lib" rev="0.0.7">
  <artifact name="simple-logic-lib" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='io.github.pirocks', module='simple-logic-lib', version='0.0.7')
)

Scala SBT

libraryDependencies += "io.github.pirocks" % "simple-logic-lib" % "0.0.7"

Leiningen

[io.github.pirocks/simple-logic-lib "0.0.7"]

Dependencies

compile (3)

Group / Artifact	Type	Version
org.jetbrains.kotlin : kotlin-stdlib-jdk8	jar	1.3.21
org.jetbrains.kotlin : kotlin-test-junit	jar	1.3.21
junit : junit	jar	4.12

Project Modules

There are no modules declared in this project.