P
Initializing...
Proposition 14 around any C-layer implementation, with the guarantees of prop14_output · Prove2Me