scientific article; zbMATH DE number 2185656

MaRDI QIDQ3024829zbMATH OpenFDO

Authors Yann Coscoy, G. Kahn, Laurent Théry

Publication date 4 July 2005

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 1104364
• scientific article; zbMATH DE number 4074537
• Presenting machine-found proofs
• scientific article; zbMATH DE number 1140678
• scientific article; zbMATH DE number 4164180

Cited in

(7)

• Declarative representation of proof terms
• Validation of proofs using PhoX
• Extracting Information from Logical Proofs
• scientific article; zbMATH DE number 1104364 (Why is no real title available?)
• Context-relative syntactic categories and the formalization of mathematical text
• Translating between language and logic: what is easy and what is difficult
• ProofLang: the language of arXiv proofs

Describes a project that uses

Uses Software

• Coq

This page was built for publication:

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