Labels

• API
• awaiting-author

  A reviewer has asked the author a question or requested changes
• blocked-by-mathlib-PR

  This PR depends on a PR to Mathlib
• blocked-by-PR

  This PR depends on another PR
• bug

  Something isn't working
• dependencies

  Pull requests that update a dependency file
• dependency-bump

  This PR bumps the version of an upstream dependency (but not toolchain)
• documentation

  Improvements or additions to documentation
• easy

  < 20s of review time
• enhancement

  New feature or request
• formalization

  An issue asking for a formalization
• good first issue

  Good for newcomers
• help-wanted

  Extra attention is needed
• merge-conflict

  The PR has a merge conflict with master
• new-contributor

  This PR was made by a contributor with at most 5 merged PRs. Welcome to the community!
• please-adopt

  Inactive PR (would be valuable to adopt)
• ready-to-merge

  This PR is approved and will be merged shortly
• requirements-needed

  Used for API issues where the requirements of the API need to be specified
• RFC

  Request for comment
• t-classical-mechanics

  Classical mechanics
• t-condensed-matter

  Condensed matter
• t-cosmology

  Cosmology
• t-electromagnetism

  Electromagnetism
• t-mathematics

  Mathematics
• t-meta

  Meta
• t-optics

  Optics
• t-particles

  Particles
• t-quantum-field-theory

  Quantum field theory
• t-quantum-mechanics

  Quantum mechanics
• t-relativity

  Relativity