Labels

• automation

  Automation updates
• bug

  Something isn't working
• correctness

  Affects correctness of compiled output
• dependencies

  Dependency updates
• documentation

  Improvements or additions to documentation
• enhancement

  New feature or request
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• proofs

  Related to Rocq/Coq formal proofs
• quality

  Code quality improvements
• question

  Further information is requested
• testing

  Test coverage and test infrastructure