TCB
From MaRDI portal
Software:25505
No author found.
Related Items (4)
Verified Software Toolchain ⋮ Automated Deduction – CADE-19 ⋮ Information Security ⋮ \texttt{slepice}: towards a verified implementation of type theory in type theory
This page was built for software: TCB
