OAI/Computability/Scheduling/PolynomialTactic.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.polyCostNames line 7
2. def OAI.polyAutoCostHead line 97
3. def OAI.polyAutoExprName line 107
4. def OAI.withPolyFacts line 110
5. def OAI.polyAutoRule line 119
6. def OAI.polyAutoEstimate line 160
7. def OAI.polyAutoDegree line 195
8. def OAI.synthPolyAuto line 204