continue…

Related to Certified programming with dependent types
Network Kernel Hacking
Network Kernel Hacking
60 min
A short history of IPv4
A short history of IPv4
39 min
Coming Soon: Machine-Checked Mathematical Proofs in…
Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Development
61 min