The following pages link to (Q5271422):
Displaying 5 items.
- Proof certificates in PVS (Q1687741) (← links)
- A semantic framework for proof evidence (Q1701039) (← links)
- The natural algorithmic approach of mixed trigonometric-polynomial problems (Q2012330) (← links)
- Proof checking and logic programming (Q2628296) (← links)
- Proof Checking and Logic Programming (Q5743582) (← links)