OAI/Combinatorics/EditApproximation/Queries/QueryInputSpace.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.EditApproximation.queryChildCodeAllocation_le_work line 13
2. theorem OAI.EditApproximation.queryPairAllocation_le_work line 31
3. theorem OAI.EditApproximation.queryHistoryCodeAllocation_le_work line 46
4. theorem OAI.EditApproximation.queryEncodedLEAllocation_le_work line 56
5. theorem OAI.EditApproximation.queryOrderedChildInputsAllocation_le_work line 68
6. theorem OAI.EditApproximation.queryOrderedHistoryInputsAllocation_le_work line 75
7. theorem OAI.EditApproximation.queryActionInputsAllocation_le_work line 82
8. theorem OAI.EditApproximation.queryNeededInputsAllocation_le_work line 97