TCB

swMATH13591MaRDI QIDQ25505FDOQ25505

Author name not available (Why is that?)

Described by source

• A trustworthy proof checker

Cited In (4)

• \texttt{slepice}: towards a verified implementation of type theory in type theory
• Automated Deduction – CADE-19
• Information Security
• Verified Software Toolchain

This page was built for software: TCB