Description: 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 the whole world wide web. There are converters for generating LaTeX files and html pages.
Keywords: Hilbert II, principia mathematica, logic, logical, mathematic, mathematics, mathematical, logic, basic, conclusion, formal, proof, verifier, check, verify, documentation, foundation, correctness, predicate, calculus, first order, language, hilbert, ackermann, whitehead, russell, bernays, michael meyling
Science Math Logic and Foundations Foundations 网站
2024年12月26日