Labels

• algorithmic issue

  Extra attention is needed
• BQN

  in BQN
• bug

  Something isn't working
• dependencies

  Pull requests that update a dependency file
• DNF

  does not finish
• documentation

  Improvements or additions to documentation
• enhancement

  New feature or request
• Lean4

  Programs in Lean4
• question

  Further information is requested
• Rust

  in Rust
• visualization

  Good for newcomers
• wontfix

  This will not be worked on