Skip to content

No labels!

There aren’t any labels for this repository quite yet.

algorithmic issue
algorithmic issue
Extra attention is needed
BQN
BQN
in BQN
bug
bug
Something isn't working
dependencies
dependencies
Pull requests that update a dependency file
DNF
DNF
does not finish
documentation
documentation
Improvements or additions to documentation
enhancement
enhancement
New feature or request
Lean4
Lean4
Programs in Lean4
question
question
Further information is requested
Rust
Rust
in Rust
visualization
visualization
Good for newcomers
wontfix
wontfix
This will not be worked on