Tactics and certificates in Meta Dedukti

DOI10.1007/978-3-319-94821-8_9zbMath1482.68266OpenAlexW2811477217MaRDI QIDQ1791152

Raphaël Cauderlier

Publication date: 4 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94821-8_9

Mathematics Subject Classification ID

Logic in computer science (03B70) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• Coq
• Isabelle/HOL
• PVS
• SMT-LIB
• TPTP
• Prover9
• HOL
• Mace4
• FoCaLiZe
• Mtac
• dedukti
• Idris
• Meta Dedukti

This page was built for publication: Tactics and certificates in Meta Dedukti