OAI/MathematicalPhysics/RapidForcing/RawSyntax.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RapidForcing.RawMachine.loadFormula line 13
2. def OAI.RapidForcing.RawMachine.addressFormula line 16
3. def OAI.RapidForcing.RawMachine.stepFormula line 22
4. def OAI.RapidForcing.RawMachine.velocityFormula line 26
5. def OAI.RapidForcing.RawMachine.forceFormula line 29
6. lemma OAI.RapidForcing.RawMachine.description_loadFormula line 32
7. lemma OAI.RapidForcing.RawMachine.description_addressFormula line 35
8. lemma OAI.RapidForcing.RawMachine.description_stepFormula line 38
9. lemma OAI.RapidForcing.RawMachine.description_forceFormula line 45
10. lemma OAI.RapidForcing.RawMachine.computable_loadFormula line 57
11. lemma OAI.RapidForcing.RawMachine.computable_addressFormula line 67
12. lemma OAI.RapidForcing.RawMachine.computable_stepFormula line 84
13. lemma OAI.RapidForcing.RawMachine.computable_stepFormula_family line 93
14. lemma OAI.RapidForcing.RawMachine.computable_stepFormula_list line 97
15. lemma OAI.RapidForcing.RawMachine.computable_velocityFormula line 100
16. lemma OAI.RapidForcing.RawMachine.computable_forceFormula line 105