Pages that link to "Item:Q2405254"
From MaRDI portal
The following pages link to Translating between implicit and explicit versions of proof (Q2405254):
Displaying 6 items.
- Proof certificates in PVS (Q1687741) (← links)
- A semantic framework for proof evidence (Q1701039) (← links)
- Implementing type theory in higher order constraint logic programming (Q5236551) (← links)
- Implicit proofs (Q5311729) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- Towards substructural property-based testing (Q6102253) (← links)