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 at work. [0.04.06]](http://a.fsdn.com/con/app/proj/pmii/screenshots/333217.jpg/max/max/1)
![Showing the process view [0.04.06]](http://a.fsdn.com/con/app/proj/pmii/screenshots/333219.jpg/max/max/1)
![Main program suite worked on good QEDEQ modules [0.04.06]](http://a.fsdn.com/con/app/proj/pmii/screenshots/333221.jpg/max/max/1)
License
GNU General Public License version 2.0 (GPLv2)Follow Hilbert II - QEDEQ
Other Useful Business Software
AI-powered service management for IT and enterprise teams
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Hilbert II - QEDEQ!