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.

Homepage POM file JAR file Javadoc

'org.qedeq.kernel:qedeq_kernel:0.04.07'

<dependency>
	<groupId>org.qedeq.kernel</groupId>
	<artifactId>qedeq_kernel</artifactId>
	<version>0.04.07</version>
</dependency>

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

"org.qedeq.kernel", "qedeq_kernel", "0.04.07"

Dependencies

QEDEQ Kernel for the Hilbert II project

Dependencies

Compile dependencies

Runtime dependencies

Test dependencies