is not current version

org.qedeq.kernel:qedeq_kernel 0.04.06

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.

GroupId	GroupId org.qedeq.kernel
ArtifactId	ArtifactId qedeq_kernel
Version	Version 0.04.06
Type	Type jar

Download qedeq_kernel 0.04.06

Filename	Size
qedeq_kernel-0.04.06.pom
qedeq_kernel-0.04.06.jar	715 KB
qedeq_kernel-0.04.06-sources.jar	676 KB
qedeq_kernel-0.04.06-javadoc.jar	2 MB
Browse

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

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

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

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

org.qedeq.kernel:qedeq_kernel 0.04.06

GroupId

ArtifactId

Version

Type

Download qedeq_kernel 0.04.06