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


Michael Meyling

- meyling.com

Verify and Document Mathematical Proofs

Not Applicable $ 8.95