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.
Follow Hilbert II - QEDEQ
Rate This ProjectLogin To Rate This Project
Be the first to post a review of Hilbert II - QEDEQ!