search

imdea-software / fcsl-pcm

Partial Commutative Monoids
Apache License 2.0
25 stars 12 forks source link

Roosterize lemma naming suggestions #10

Closed palmskog closed 5 years ago

palmskog commented 5 years ago

This is a PR, not meant to be merged, that contains lemma name suggestions (after training on mathcomp, fourcolor, odd-order, finmap), for evaluation purposes. Specifically, we are looking for patterns and examples of:

  1. good suggested names
  2. bad suggested names
  3. insights triggered by name suggestions

Please use the GitHub code review facilities to comment inline on suggestions (one or more at once). Of course, no need to comment individually on each and every one.

Thanks!