Labels

• bug

  Something isn't working
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• invalid proof

  Error in the logic of a proof
• question

  Further information is requested
• typo

  Writing mistake in the notes