OAI/Analysis/MatrixSigning/Machines/FixedDotBody.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.KS.W12.FixedDot.additionProgram line 11
2. theorem OAI.KS.W12.FixedDot.addition_spec line 14
3. theorem OAI.KS.W12.FixedDot.transfer_product_spec line 28
4. theorem OAI.KS.W12.FixedDot.transfer_accumulator_spec line 37
5. theorem OAI.KS.W12.FixedDot.store_accumulator_spec line 46
6. def OAI.KS.W12.FixedDot.body line 55
7. def OAI.KS.W12.FixedDot.bodyTicks line 59
8. theorem OAI.KS.W12.FixedDot.body_spec line 66
9. theorem OAI.KS.W12.FixedDot.run_dot_loop line 76
10. theorem OAI.KS.W12.FixedDot.dot_loop_spec line 82