Labels

• awaiting-author
• bug

  Something isn't working
• 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
• hard to reproduce
• help wanted

  Extra attention is needed
• high priority
• infrastructure

  Improve code, maintenance, build, test
• invalid

  This doesn't seem right
• lean4

  include in lean4 release
• low priority
• nice to have

  It would be great to have or fix, but it is not essential.
• question

  Further information is requested
• RFC

  Request for comments
• wontfix

  This will not be worked on