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.



Project Samples

Project Activity

See All Activity >

Follow Hilbert II - QEDEQ

Hilbert II - QEDEQ Web Site

Other Useful Business Software

Use DigitalOcean to Build, Deploy & Scale Web Apps Use DigitalOcean to Build, Deploy & Scale Web Apps Icon
Use DigitalOcean to Build, Deploy & Scale Web Apps Icon

The ease and simplicity of DigitalOcean gives developers more time to build and innovate for their customers.

Thousands of businesses and developers around the world use DigitalOcean to easily deploy, manage, and scale applications of any size with less infrastructure friction. Go from one to a thousand virtual servers in seconds. Also, we continue to add hundreds of in-depth tutorials to our documentation library and have an active online community to get the support you need to succeed.

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of Hilbert II - QEDEQ!

Additional Project Details


English, German

Intended 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