Hilbert II - QEDEQ
betaproof verifier for mathematical proofs and documentation generator
Screenshots
![Showing the process view [0.04.06]](http://a.fsdn.com/con/app/proj/pmii/screenshots/333219.jpg)
![Main program suite worked on good QEDEQ modules [0.04.06]](http://a.fsdn.com/con/app/proj/pmii/screenshots/333221.jpg)
![Main program suite at work. [0.04.06]](http://a.fsdn.com/con/app/proj/pmii/screenshots/333217.jpg)
Description
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.
Categories
License
Features
- QEDEQ
Update Notifications
User Ratings
User Reviews
Be the first to post a review of Hilbert II - QEDEQ!