The following pages link to A trustworthy proof checker (Q1826468):
Displaying 7 items.
- TCB (Q25505) (← links)
- Trusted computing with addition machines. II (Q1745689) (← links)
- Software verification with ITPs should use binary code extraction to reduce the TCB (short paper) (Q1791178) (← links)
- \texttt{slepice}: towards a verified implementation of type theory in type theory (Q2119108) (← links)
- Verified Software Toolchain (Q3000569) (← links)
- The Proof Certifier Checkers (Q3455771) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705954) (← links)