OAI/Analysis/MatrixSigning/Encoding/FramedArrayReplacementPorts.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.KS.W11.FramedArrayRewrite.liftedProgram line 10
2. theorem OAI.KS.W11.FramedArrayRewrite.liftedProgram_states line 13
3. theorem OAI.KS.W11.FramedArrayRewrite.run_replace_ports line 16
4. theorem OAI.KS.W11.FramedArrayRewrite.replacement_ports_linear_time line 44