Pages that link to "Item:Q3100201"

The following pages link to A Proposal for Broad Spectrum Proof Certificates (Q3100201):

Displaying 4 items.

• Proof certificates for equality reasoning (Q1744408) (← links)
• Proof checking and logic programming (Q2628296) (← links)
• (Q5111329) (← links)
• The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)