TCB

swMATH13591MaRDI QIDQ25505FDOQ25505

Author name not available (Why is that?)

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
• Verified software toolchain (invited talk)
• Template-Coq
• Information Security

This page was built for software: TCB