Labels

• good first issue
• help wanted
• issue: company-coq

  This is a company-coq issue
• issue: upstream

  Issue handled upstream
• kind: bug
• kind: cleanup
• kind: documentation
• kind: enhancement
• kind: feature
• kind: fix
• kind: infrastructure
• kind: meta
• kind: question
• kind: regression
• kind: test
• needs: discussion
• needs: documentation
• needs: fixing
• needs: more info
• needs: rebase
• needs: squash
• needs: testing
• part: coq-compile
• part: easycrypt
• part: indentation

  Problems with indentation feature of PG
• part: phox
• part: proof-tree
• pg: async

  Related to (unmaintained) async PG with asynchronous Coq proofs
• pg: proof-shell

  Related to (default) master PG using proof-shell
• pg: proof-shell + async

  Related to both master and (unmaintained) async branches