Cross off linked issues

Workflow runs for Cross off linked issues

• extract lemmas and golf

  completed successfully:
  Cross off linked issues#1:Pull request#1closedbyRuizsolveall
  alreadydone:feat/circle-pi1

  Sep 21, 20268s
  More actions for workflow run 1