Download qedeq_kernel JAR 0.04.07 with all dependencies

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.

Files of the artifact qedeq_kernel version 0.04.07 from the group org.qedeq.kernel.

Artifact qedeq_kernel
Group org.qedeq.kernel
Version 0.04.07
Organization not specified
URL http://qedeq.org
License The Apache Software License, Version 2.0
Dependencies amount 5
Dependencies commons-logging, commons-httpclient, commons-codec, commons-lang, commons-io,
There are maybe transitive dependencies!

The newest version!

Show more of this group Show more artifacts with this name
Show all versions of qedeq_kernel Show documentation

Please rate this JAR file. Is it a good library?

0 downloads

Source code of qedeq_kernel version 0.04.07

Please wait ...