8000 Labels · DominicBreuker/cook-levin-lean · GitHub
[go: up one dir, main page]
Skip to content

Labels

Labels

9 labels

  • bug

    bug
    Something isn't working

  • documentation

    documentation
    Improvements or additions to documentation

  • duplicate

    duplicate
    This issue or pull request already exists

  • enhancement

    enhancement
    New feature or request

  • good first issue

    good first issue
    Good for newcomers

  • help wanted

    help wanted
    Extra attention is needed

  • invalid

    invalid
    This doesn't seem right

  • question

    question
    Further information is requested

  • wontfix

    wontfix
    This will not be worked on
0