search

imdea-software / fcsl-pcm

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

alternate strategy Roosterize name predictions for subset of files #13

Closed palmskog closed 5 years ago

palmskog commented 5 years ago

Here are naming suggestions for only two files (pred.v and unionmap.v) using an alternate training strategy.

The main thing we're interested in is whether the diffs are of better, worse, or roughly the same quality as for the other naming PR.

anton-trunov commented 5 years ago

I would say it's roughly of the same quality as PR#10.

It's hard to say for sure, but it looks like this strategy in order to rename a lemma, moves the focus from the conclusion to one of its premisses.