The Proof Certifier Checkers

DOI10.1007/978-3-319-24312-2_14zbMath1471.68305OpenAlexW2246135666MaRDI QIDQ3455771

Zakaria Chihani, Tomer Libal, Giselle Reis

Publication date: 11 December 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01208333/file/tableaux2015.pdf

Mathematics Subject Classification ID

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

Related Items

Proof checking and logic programming ⋮ Unnamed Item ⋮ A semantic framework for proof evidence ⋮ Unnamed Item ⋮ A general proof certification framework for modal logic

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Unnamed Item
• Focusing and polarization in linear, intuitionistic, and classical logics
• System Description: E 1.8
• Programming with Higher-Order Logic
• Foundational Proof Certificates in First-Order Logic