Labels

• bug

  Something isn't working
• code improvement

  Improvement on code side with no direct feature impact
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  Enhancement to an existing feature
• feature

  New feature or request
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• invalid

  This doesn't seem right
• part: automated prover

  Automated LL prover
• part: cut elimination

  Cut elimination proof transformation
• part: exchange

  Exchange rule
• question

  Further information is requested
• regression

  Something is not working anymore
• version: development

  happens on development version
• version: pre-production

  happens on pre-production version
• version: production

  happens on production version
• wontfix

  This will not be worked on