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

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Try It 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
Square 9

Square 9 removes the frustration of extracting data from documents, forms, and all external sources, so you can harness the full power of your information. Release your team from repetitive tasks while your work flows freely in areas like Accounts Payable, Order Processing, Customer and...

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