The following pages link to The Proof Certifier Checkers (Q3455771):
Displaying 9 items.
- Proof certificates in PVS (Q1687741) (← links)
- A semantic framework for proof evidence (Q1701039) (← links)
- Proof certificates for equality reasoning (Q1744408) (← links)
- Proof checking and logic programming (Q2628296) (← links)
- How to avoid the formal verification of a theorem prover (Q2708306) (← links)
- (Q4542544) (← links)
- Linking focusing and resolution with selection (Q5005105) (← links)
- (Q5015283) (← links)
- A general proof certification framework for modal logic (Q5236558) (← links)