[isabelle] nftables semantics #44
Description
This feature requires
- Semantics for nftables
- Verified translation of iptables <-> nftables
- A parser for nftables
Will be implemented on by ongy.
{{ message }}
This feature requires
Will be implemented on by ongy.