OAI/Analysis/MatrixSigning/Matrices/MatrixReadProgram.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.KS.W08.MatrixRead.workspace line 14
2. def OAI.KS.W08.MatrixRead.addressPorts line 17
3. def OAI.KS.W08.MatrixRead.accessPorts line 18
4. def OAI.KS.W08.MatrixRead.addressProgram line 19
5. def OAI.KS.W08.MatrixRead.accessProgram line 20
6. def OAI.KS.W08.MatrixRead.program line 22
7. theorem OAI.KS.W08.MatrixRead.config_ext line 24
8. theorem OAI.KS.W08.MatrixRead.run_address line 30
9. theorem OAI.KS.W08.MatrixRead.run_access line 57
10. theorem OAI.KS.W08.MatrixRead.run_matrix_read line 87
11. theorem OAI.KS.W08.MatrixRead.matrix_read_time line 109
12. def OAI.KS.W08.MatrixRead.liftedProgram line 119
13. theorem OAI.KS.W08.MatrixRead.run_matrix_read_ports line 122