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.
Hilbert II - QEDEQ is a free software application from the Other subcategory, part of the Education category.
The app is currently available in English and it was last updated on 2011-05-01. The program can be installed on 32-bit MS Windows (95/98)
32-bit MS Windows (NT/2000/XP)
64-bit MS Windows
All 32-bit MS Windows (95/98/NT/2000/XP)
All BSD Platforms (FreeBSD/NetBSD/OpenBSD/Apple Mac OS X)
All POSIX (Linux/BSD/UNIX-like OSes)
OS Independent (Written in an interpret.
Hilbert II - QEDEQ (version 0.04.02) is available for download from our website.
Just click the green Download button above to start. Until now the program was downloaded 35 times.
We already checked that the download link to be safe, however for your own protection we recommend that you scan the downloaded software with your antivirus.