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

Project Samples

PDF result of main program suite. Main program suite shows first formal proof in text viewer. Finding a proof. Main program suite at work. [0.04.06] Showing the process view [0.04.06] Main program suite worked on good QEDEQ modules [0.04.06]

Project Activity

See All Activity >

Categories

TeX/LaTeX, Documentation, Internet, Mathematics

License

GNU General Public License version 2.0 (GPLv2)

Follow Hilbert II - QEDEQ

Hilbert II - QEDEQ Web Site

Other Useful Business Software
Get Avast Free Antivirus with 24/7 AI-powered online scam detection Icon
Get Avast Free Antivirus with 24/7 AI-powered online scam detection

Get protection for today’s online threats. Free.

Award-winning antivirus protection, as well as protection against online scams, dangerous Wi-Fi connections, hacked accounts, and ransomware. It includes Avast Assistant, your built-in AI partner, which gives you help with suspicious online messages, offers, and more.
Free Download
Rate This Project
Login To Rate This Project

User Reviews

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

Additional Project Details

Operating Systems

Linux, BSD, Windows

Languages

English, German

Intended Audience

Science/Research, Education, Developers, End Users/Desktop, Other Audience

User Interface

Java Swing, Gnome, X Window System (X11), Win32 (MS Windows), Command-line, Windows Aero

Programming Language

Java

Related Categories

Java TeX LaTeX, Java Documentation Software, Java Internet Software, Java Mathematics Software

Registered

2001-07-27
Report inappropriate content