OAI/Analysis/MatrixSigning/Machines/SchurOperands.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.KS.W07.SchurOperands.collect line 12
2. def OAI.KS.W07.SchurOperands.operands line 16
3. theorem OAI.KS.W07.SchurOperands.workClear_update line 19
4. def OAI.KS.W07.SchurOperands.readBudget line 26
5. theorem OAI.KS.W07.SchurOperands.collect_spec line 36
6. def OAI.KS.W07.SchurOperands.scalarPorts line 80
7. def OAI.KS.W07.SchurOperands.scalar line 81
8. theorem OAI.KS.W07.SchurOperands.scalar_spec line 83
9. def OAI.KS.W07.SchurOperands.program line 108
10. theorem OAI.KS.W07.SchurOperands.full_spec line 110