Hilbert II - QEDEQ download

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

Main program suite shows first formal proof in text viewer.

Main program suite worked on good QEDEQ modules [0.04.06]

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Hilbert II - QEDEQ

Hilbert II - QEDEQ Web Site

Other Useful Business Software

Save Up to 91% on Cloud Compute With Spot VMs

Automatic sustained-use discounts. One free VM per month. No negotiation needed.

Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.

Start Free

Rate This Project

User Reviews

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

Additional Project Details

Operating Systems

BSD, Linux, Windows

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

Related Categories

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

Registered

2001-07-27

Similar Business Software

Service Center

Service Center by Office Ally is a trusted Revenue Cycle Management and patient payments platform used by more than 80,000 healthcare providers and health services organizations, which process more than 950 million transactions annually. Service Center is a cost-effective solution enabling...

See Software
ManageEngine ADManager Plus

ADManager Plus is a simple, easy-to-use Windows Active Directory (AD) management and reporting solution that helps AD administrators and help desk technicians in their day-to-day activities. With a centralized and intuitive web-based GUI, the software handles a variety of complex tasks like bulk...

See Software
Zoho Assist

Zoho Assist, your all-in-one remote access solution, helps you to access and manage remote devices. Through a web-based on-demand remote support session, you can directly analyze and establish control over your overseas assets in just a few seconds. Zoho Assist is entirely cloud-based, so you...

See Software
SurveyJS

SurveyJS is an embeddable, self-hosted, white-label form builder for teams building custom forms, surveys, questionnaires, and other data collection tools inside web applications. It runs entirely on the client and is fully compatible with all modern JavaScript frameworks, including React,...

See Software
SmartDraw

SmartDraw makes professional drawings and diagrams accessible to everyone. Non-technical users can quickly create floor plans, while professionals get the precision and scale they require. With industry-leading floor planning tools and an intuitive interface for traditional diagramming like...

See Software
Auth0

Auth0 takes a modern approach to Identity, providing secure access to any application, for any user. Safeguarding billions of login transactions each month, Auth0 delivers convenience, privacy, and security so customers can focus on innovation. Auth0 is part of Okta, The World’s Identity...

See Software