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

Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.

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

PlantUML

PlantUML is a powerful and flexible open source tool that allows users to create UML diagrams using simple text descriptions. It supports various diagram types, including sequence, use case, class, component, state, and activity diagrams. PlantUML also extends beyond traditional UML with support...

See Software
Claromentis

We give organisations a digital workplace to call home. At Claromentis, we've expanded the capabilities of the traditional intranet, empowering people to access information, communicate and collaborate with their coworkers, streamline business processes, learn new skills, and integrate their...

See 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
myACI

ACI Learning delivers hands-on IT and cybersecurity training built for real-world results. Our outcome-driven approach equips learners with practical skills through immersive labs, certification prep, and instruction from proven industry experts. Whether you're training a team or advancing...

See Software
Process Street

Process Street is an AI-powered compliance operations platform that automates complex workflows, enforces standards, and tracks audit data in real time. Teams use it to create structured SOPs, assign tasks, collect data, and monitor execution with intelligent oversight. From onboarding and...

See Software