OAI/MathematicalPhysics/RapidForcing/EvaluatorPrograms.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RapidForcing.EffectiveProfile.Formula.partrec_evalCoordinates line 14
2. abbrev OAI.RapidForcing.EffectiveProfile.Formula.VectorArgs line 23
3. def OAI.RapidForcing.EffectiveProfile.Formula.evaluateVector line 25
4. lemma OAI.RapidForcing.EffectiveProfile.Formula.partrec_evaluateVector line 31
5. abbrev OAI.RapidForcing.RawMachine.EvalArgs line 44
6. def OAI.RapidForcing.RawMachine.evaluateForce line 46
7. lemma OAI.RapidForcing.RawMachine.computable_evalExpressions line 54
8. lemma OAI.RapidForcing.RawMachine.partrec_evaluateForce line 67
9. lemma OAI.RapidForcing.RawMachine.description_evaluateForce line 75
10. abbrev OAI.RapidForcing.EvalQuery line 83
11. abbrev OAI.RapidForcing.EvalParameters line 84
12. def OAI.RapidForcing.evaluation line 86
13. lemma OAI.RapidForcing.partrec_evaluation line 90
14. def OAI.RapidForcing.evaluationProgram line 102
15. lemma OAI.RapidForcing.computable_evaluationProgram line 105
16. lemma OAI.RapidForcing.evaluationProgram_eval line 108
17. lemma OAI.RapidForcing.evalQuery_eq line 112
18. lemma OAI.RapidForcing.evaluationProgram_spec line 115