OAI/Combinatorics/HadwigerCounterexample/NumericalGradientTests.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Numerical Gradient Tests

  1. def OAI.HadwigerCounterexample.StatusAnalysis.mailRole line 13
  2. def OAI.HadwigerCounterexample.StatusAnalysis.mailBias line 15
  3. theorem OAI.HadwigerCounterexample.StatusAnalysis.aim_sum line 18
  4. def OAI.HadwigerCounterexample.StatusAnalysis.TMill line 23
  5. theorem OAI.HadwigerCounterexample.StatusAnalysis.tmill_sym line 31
  6. def OAI.HadwigerCounterexample.StatusAnalysis.proclaims line 39
  7. theorem OAI.HadwigerCounterexample.StatusAnalysis.funds_roles line 44
  8. theorem OAI.HadwigerCounterexample.StatusAnalysis.funds_duos line 50
  9. theorem OAI.HadwigerCounterexample.StatusAnalysis.proclaim_script line 59
  10. theorem OAI.HadwigerCounterexample.StatusAnalysis.tmill_formula line 85
  11. theorem OAI.HadwigerCounterexample.StatusAnalysis.procl_grad line 95
  12. theorem OAI.HadwigerCounterexample.StatusAnalysis.rhyme_match line 111