Labels

• blocked

  Waiting on external condition
• bug

  Something isn't working
• chore

  Maintenance tasks
• ci

  CI / GitHub Actions
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• infrastructure

  Repo plumbing / rules
• invalid

  This doesn't seem right
• lean

  Lean formalization
• question

  Further information is requested
• ready-to-merge

  All checks passed
• theory-core

  Core theory – restricted
• wontfix

  This will not be worked on