What ’ s in a Theorem Name ? ( Rough Diamond )

  title={What ’ s in a Theorem Name ? ( Rough Diamond )},
  author={David Aspinall and Cezary Kaliszyk},
ITPs use names for proved theorems. Good names are either widely known or descriptive, corresponding to a theorem’s statement. Good names should be consistent with conventions, and be easy to remember. But thinking of names like this for every intermediate result is a burden: some developers avoid this by using consecutive integers or random hashes instead… CONTINUE READING