The Proof Certifier Checkers
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 4009856
- A trustworthy proof checker
- Certifying compilers using higher-order theorem provers as certificate checkers
- Checking proofs
- Formally verified certificate checkers for hardest-to-round computation
- Certification of nontermination proofs
- scientific article; zbMATH DE number 1798181
Cites work
- scientific article; zbMATH DE number 5850143 (Why is no real title available?)
- scientific article; zbMATH DE number 3349331 (Why is no real title available?)
- Focusing and polarization in linear, intuitionistic, and classical logics
- Foundational proof certificates in first-order logic
- Programming with higher-order logic.
- System description: E 1.8
Cited in
(15)- scientific article; zbMATH DE number 1775411 (Why is no real title available?)
- A proposal for broad spectrum proof certificates
- A general proof certification framework for modal logic
- Proof checking and logic programming
- Proof checking and logic programming
- A two-level approach towards lean proof-checking
- scientific article; zbMATH DE number 4009856 (Why is no real title available?)
- Proof certificates in PVS
- Formal Reasoning Using Distributed Assertions
- Certification of prefixed tableau proofs for modal logic
- Linking focusing and resolution with selection
- A semantic framework for proof evidence
- Proof certificates for equality reasoning
- Foundational proof certificates in first-order logic
- How to avoid the formal verification of a theorem prover
This page was built for publication: The Proof Certifier Checkers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3455771)
