Labels

• affinescript

  affinescript

• blocked

  blocked

• bug

  bug

  Something isn't working

• 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

• E10

  E10

• E11

  E11

• E13

  E13

• enhancement

  enhancement

  New feature or request

• formal-proofs

  formal-proofs

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• infra

  infra

• invalid

  invalid

  This doesn't seem right

• lean4

  lean4

• migration

  migration

• migration-blocker

  migration-blocker

• phase-3

  phase-3

• prover-backends

  prover-backends

• question

  question

  Further information is requested

• roadmap

  roadmap

  Roadmap tracker — see ROADMAP.adoc/md

• rust

  rust

  Pull requests that update rust code

• spark-migration

  spark-migration

• wontfix

  wontfix

  This will not be worked on