chore: clean up grind annotations#212

TwoFX merged 1 commit intoleanprover:masterleanprover/human-eval-lean:masterfrom

TwoFX:cleanup-grind-annotationsTwoFX/human-eval-lean:cleanup-grind-annotationsCopy head branch name to clipboard