OAI/Combinatorics/HadwigerCounterexample/SurrogateQueryScores.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

Surrogate Query Scores

  1. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.allure line 21
  2. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.allure_apt line 22
  3. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.policies line 25
  4. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.stencil line 27
  5. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.stencil_floor line 31
  6. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.seraph line 36
  7. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.mirror line 39
  8. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.seraphFloor line 42
  9. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.kappaTop line 49
  10. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.mirror_floor line 55
  11. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.sheen line 69
  12. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.painted line 72
  13. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.prowl_astonish line 79
  14. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.sheen_sun line 97