hilbert ii qedeq

We have hosted the application hilbert ii qedeq in order to run this application in our online workstations with Wine or directly.

Quick description about hilbert ii qedeq:

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.

Features:

• QEDEQ

Audience: Developers, Education, End Users/Desktop, Other Audience, Science/Research.
User interface: Command-line, Gnome, Java Swing, Win32 (MS Windows), Windows Aero, X Window System (X11).
Programming Language: Java.
Categories: