Skip to content

No labels!

There aren’t any labels for this repository quite yet.

37 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
good first issue
good first issue
2
help wanted
help wanted
2
issue: company-coq
issue: company-coq
This is a company-coq issue
issue: upstream
issue: upstream
Issue handled upstream
kind: bug
kind: bug
11
kind: cleanup
kind: cleanup
2
kind: documentation
kind: documentation
6
kind: enhancement
kind: enhancement
8
kind: feature
kind: feature
5
kind: fix
kind: fix
2
kind: infrastructure
kind: infrastructure
2
kind: meta
kind: meta
2
kind: question
kind: question
2
kind: regression
kind: regression
1
kind: test
kind: test
3
needs: discussion
needs: discussion
1
needs: documentation
needs: documentation
needs: fixing
needs: fixing
1
needs: more info
needs: more info
needs: rebase
needs: rebase
needs: squash
needs: squash
needs: testing
needs: testing
1
part: coq-compile
part: coq-compile
1
part: easycrypt
part: easycrypt
1
part: indentation
part: indentation
Problems with indentation feature of PG
2
part: phox
part: phox
part: proof-tree
part: proof-tree
1
pg: async
pg: async
Related to (unmaintained) async PG with asynchronous Coq proofs
21
pg: proof-shell + async
pg: proof-shell + async
Related to both master and (unmaintained) async branches
pg: proof-shell
pg: proof-shell
Related to (default) master PG using proof-shell