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

Paessler: Easy to Use With Enterprise Power. Free Trial

A low-code dashboard makes monitoring intuitive for any admin, while scripting and custom sensors give experts full control.

You shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.

Get Free Download

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 for Service Center
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 for ManageEngine ADManager Plus
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 for SurveyJS
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 for SmartDraw
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 for Auth0
Shift

Shift is a fully customizable browser where you can drag and drop apps, bars, and controls to create a central hub that adapts to however you work. Integrate 1,500+ apps, swap instantly between Spaces for work, side hustles or personal browsing, and stay logged into multiple accounts at once....

See Software for Shift