Labels

• bug
• ci

  continuous integration
• code documentation
• dependencies

  Pull requests that update a dependency file
• discussion
• efficiency
• emacs
• error message
• feature request
• github_actions

  Pull requests that update GitHub Actions code
• help wanted
• javascript

  Pull requests that update javascript code
• lsp

  Issues related to Language Server Protocol
• notation
• parsing
• question
• rewriting
• syntax
• tactic

  problems about tactic
• user manual
• vscode

  Issues related to Vscode plugin
• won't fix