Publication:5219928

zbMath1431.03023arXiv1501.06523MaRDI QIDQ5219928

Gilles Dowek

Publication date: 9 March 2020

Full work available at URL: https://arxiv.org/abs/1501.06523

Mathematics Subject Classification ID

03B35: Mechanization of proofs and logical operations

03F07: Structure of proofs

68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)

Uses Software

• Coq
• Zenon
• iProver
• FoCaLiZe
• dedukti
• CoqInE