Hilbert Ii Websites
Hilbert II - Introduction
- qedeq.org
Verify and document mathematical proofs. This open source project wants to present mathematical knowledge in a formal correct form. It includs a proof verifier which can check a mathematical proof written in a certain formal language. This mathematical knowledge is organized in qedeq BOOKs which could be spread over th
Not Applicable
$
8.95