Labels

• backlog

  backlog

• bug

  bug

  Something isn't working

• codex

  codex

• dependencies

  dependencies

  Pull requests that update a dependency file

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  New feature or request

• epic

  epic

  umbrella issue for many individual tasks

• gadget

  gadget

  Write a circuit using clean. Usually well-suited for external contributions

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• invalid

  invalid

  This doesn't seem right

• library-core

  library-core

  Requires changing or extending the clean core. Best reserved for long-time contributors

• library-dx

  library-dx

  Improve DX of clean, by adding simprocs, notations or built-in gadgets. For experienced Lean devs

• question

  question

  Further information is requested

• rust

  rust

  Pull requests that update rust code

• wontfix

  wontfix

  This will not be worked on