JarCasting
JarCasting JarCasting
не последняя версия
Последняя версия 0.04.07 →

org.qedeq.kernel:qedeq_kernel 0.04.05

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.

Группа

Группа

org.qedeq.kernel
Идентификатор

Идентификатор

qedeq_kernel
Версия

Версия

0.04.05
Тип

Тип

jar

Скачать qedeq_kernel 0.04.05

Имя Файла Размер
qedeq_kernel-0.04.05.pom
qedeq_kernel-0.04.05.jar 687 KB
qedeq_kernel-0.04.05-sources.jar 643 KB
qedeq_kernel-0.04.05-javadoc.jar 2 MB
Обзор 

<!-- https://jarcasting.com/artifacts/org.qedeq.kernel/qedeq_kernel/ -->
<dependency>
    <groupId>org.qedeq.kernel</groupId>
    <artifactId>qedeq_kernel</artifactId>
    <version>0.04.05</version>
</dependency>
// https://jarcasting.com/artifacts/org.qedeq.kernel/qedeq_kernel/
implementation 'org.qedeq.kernel:qedeq_kernel:0.04.05'
// https://jarcasting.com/artifacts/org.qedeq.kernel/qedeq_kernel/
implementation ("org.qedeq.kernel:qedeq_kernel:0.04.05")
'org.qedeq.kernel:qedeq_kernel:jar:0.04.05'
<dependency org="org.qedeq.kernel" name="qedeq_kernel" rev="0.04.05">
  <artifact name="qedeq_kernel" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.qedeq.kernel', module='qedeq_kernel', version='0.04.05')
)
libraryDependencies += "org.qedeq.kernel" % "qedeq_kernel" % "0.04.05"
[org.qedeq.kernel/qedeq_kernel "0.04.05"]