TCB

MaRDI QIDQ25505swMATHFDO

Official website http://link.springer.com/article/10.1023%2FB%3AJARS.0000021013.61329.58

Described by source

• A trustworthy proof checker

Cited in

(5)

• \texttt{slepice}: towards a verified implementation of type theory in type theory
• Automated Deduction – CADE-19
• Template-Coq
• Verified software toolchain (invited talk)
• Information Security

This page was built for software: TCB