Download of qedeq_0.04.07_dev_win.zip (qedeq_0.04.07_dev_win.zip ( external link: SF.net): 90,725,030 bytes) will begin shortly. If not so, click link on the left.
In the tradition of Hilbert's program we create 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. Logic and set theory started.
