Download von qedeq_0.03.05_win.zip (qedeq_0.03.05_win.zip ( externer Link: SourceForge.net): 8,141,083 Bytes) wird in Kürze beginnen. Wenn nicht, klicke auf qedeq_0.03.05_win.zip ( externer Link: SourceForge.net).

Datei-Informationen

Dateigröße
8,141,083 Bytes
MD5
b4202453efdf00059219cc2b4062d52d

Projektbeschreibung

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.