| Field | Value |
|---|---|
| Name | QEDEQ Kernel for the Hilbert II project |
| Description | 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 | http://qedeq.org |
This project does not belong to an organization.
| Field | Value |
|---|---|
| GroupId | org.qedeq.kernel |
| ArtifactId | qedeq_kernel |
| Version | 0.04.08 |
| Type | jar |
