Download all versions of qedeq_kernel JAR files with all dependencies
qedeq_kernel from group org.qedeq.kernel (version 0.04.07)
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.
qedeq_kernel from group org.qedeq.kernel (version 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.
qedeq_kernel from group org.qedeq.kernel (version 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.
© 2015 - 2026 Weber Informatics LLC | Privacy Policy