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.
Artifact qedeq_kernel
Group org.qedeq.kernel
Version 0.04.07
Last update 24. May 2013
Tags: ordinary readable knowledge textbook checkable mathematical hilbert proof verifier creates like project formal which correct program tradition base latex accessible freely within internet
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!
Group org.qedeq.kernel
Version 0.04.07
Last update 24. May 2013
Tags: ordinary readable knowledge textbook checkable mathematical hilbert proof verifier creates like project formal which correct program tradition base latex accessible freely within internet
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!
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.
Artifact qedeq_kernel
Group org.qedeq.kernel
Version 0.04.06
Last update 14. April 2013
Tags: ordinary readable knowledge textbook checkable mathematical hilbert proof verifier creates like project formal which correct program tradition base latex accessible freely within internet
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!
Group org.qedeq.kernel
Version 0.04.06
Last update 14. April 2013
Tags: ordinary readable knowledge textbook checkable mathematical hilbert proof verifier creates like project formal which correct program tradition base latex accessible freely within internet
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!
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.
Artifact qedeq_kernel
Group org.qedeq.kernel
Version 0.04.05
Last update 11. April 2013
Tags: ordinary readable knowledge textbook checkable mathematical hilbert proof verifier creates like project formal which correct program tradition base latex accessible freely within internet
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!
Group org.qedeq.kernel
Version 0.04.05
Last update 11. April 2013
Tags: ordinary readable knowledge textbook checkable mathematical hilbert proof verifier creates like project formal which correct program tradition base latex accessible freely within internet
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!
Page 1 from 1 (items total 3)