QEDEQ Kernel for the Hilbert II project

In the tradition of Hilbert's program the project creates a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet.

License	The Apache Software License, Version 2.0
GroupId	org.qedeq.kernel
ArtifactId	qedeq_kernel
Last Version	0.04.07
Release Date	May 24, 2013
Type	jar
Description	QEDEQ Kernel for the Hilbert II project In the tradition of Hilbert's program the project creates a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet.
Project URL	http://qedeq.org
Source Code Management	https://svn.code.sf.net/p/pmii/code/trunk/

Download qedeq_kernel

Filename	Size
qedeq_kernel-0.04.07.pom
qedeq_kernel-0.04.07.jar	687 KB
qedeq_kernel-0.04.07-sources.jar	643 KB
qedeq_kernel-0.04.07-javadoc.jar	2 MB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.qedeq.kernel/qedeq_kernel/ -->
<dependency>
    <groupId>org.qedeq.kernel</groupId>
    <artifactId>qedeq_kernel</artifactId>
    <version>0.04.07</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.qedeq.kernel/qedeq_kernel/
implementation 'org.qedeq.kernel:qedeq_kernel:0.04.07'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.qedeq.kernel/qedeq_kernel/
implementation ("org.qedeq.kernel:qedeq_kernel:0.04.07")

Apache Buildr

'org.qedeq.kernel:qedeq_kernel:jar:0.04.07'

Apache Ivy

<dependency org="org.qedeq.kernel" name="qedeq_kernel" rev="0.04.07">
  <artifact name="qedeq_kernel" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.qedeq.kernel', module='qedeq_kernel', version='0.04.07')
)

Scala SBT

libraryDependencies += "org.qedeq.kernel" % "qedeq_kernel" % "0.04.07"

Leiningen

[org.qedeq.kernel/qedeq_kernel "0.04.07"]

Dependencies

compile (5)

Group / Artifact	Type	Version
commons-logging : commons-logging	jar	1.1.1
commons-httpclient : commons-httpclient	jar	3.1
commons-codec : commons-codec	jar	1.3
commons-lang : commons-lang	jar	2.4
commons-io : commons-io	jar	1.4

runtime (1)

Group / Artifact	Type	Version
log4j : log4j	jar	1.2.14

test (4)

Group / Artifact	Type	Version
junit : junit	jar	3.8.1
xerces : xercesImpl	jar	2.6.2
xerces : xmlParserAPIs	jar	2.6.2
xalan : xalan	jar	2.6.0

Project Modules

There are no modules declared in this project.

Versions

Version
0.04.07 May 24, 2013
0.04.06 Apr 15, 2013
0.04.05 Apr 12, 2013