All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download qedeq_kernel JAR file 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.

Group: org.qedeq.kernel Artifact: qedeq_kernel
Show documentation Show source 
Download qedeq_kernel.jar (0.04.07)
 

0 downloads
Artifact qedeq_kernel
Group org.qedeq.kernel
Version 0.04.07




Page 1 from 1 (items total 1)


© 2015 - 2025 Weber Informatics LLC | Privacy Policy