Hilbert II - QEDEQ Icon

Hilbert II - QEDEQ

beta

proof verifier for mathematical proofs and documentation generator

Add a Review
2 Downloads (This Week)
Last Update:
Download qedeq_0.04.07_unx.tar.bz2
Browse All Files
Windows Mac Linux

Screenshots

Description

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 Web Site

Features

  • QEDEQ

Update Notifications





Write a Review

User Reviews

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

Additional Project Details

Languages

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

Java

Registered

2001-07-27
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.