Labels

Something isn't working

Error to fix

Improvements or additions to documentation

Category theory

Humanities / reception studies / history of art or music

Number theory

Philosophy of math / science

Physics / foundations of physics

Set theory / formal logic

This issue or pull request already exists

New feature or request

Lean 4 formalization

Good for newcomers

Extra attention is needed

This doesn't seem right

Open research direction

Further information is requested

Verifying a stated claim

This will not be worked on