Theorem Proving, Gamified Formal Methods, Interactive Verification, Learning Tools
Internet scale routing with NixOS (nixcon2025)
cdn.media.ccc.de·19h
Loading...Loading more...
Theorem Proving, Gamified Formal Methods, Interactive Verification, Learning Tools