Mixing computations and proofs

DOI10.6092/ISSN.1972-5787/4552MaRDI QIDQ5195270zbMATH OpenOpenAlexFDO

Authors Michael Beeson

Publication date 18 September 2019

Full work available at URL https://doaj.org/article/22e5b2da36a74df496b3361d965e0638

zbMATH Keywords

computationformal prooflogic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Autarkic computations in formal proofs
• Publication:4892490
• Formal proof -- theory and practice
• Proving and programming
• Mathematical proofs in the computer age

Cited in

(6)

• Proof, message and certificate
• On Formal Proofs
• Proof and Computation: Perspectives for Mathematics, Computer Science, and Philosophy
• Automata, Languages and Programming
• Proofs for a price: tomorrow's ultra-rigorous mathematical culture
• Universal algebra in UniMath

This page was built for publication: Mixing computations and proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5195270)