Skip to content

No labels!

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

12 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Something isn't working
5
dafny
dafny
Dafny cannot parse/verify something
5
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
24
example
example
Improvements or additions to examples
help wanted
help wanted
Extra attention is needed
project setup
project setup
Improvements to the project
question
question
Further information is requested
1
refactor
refactor
something could have been done better
2
type relaxation
type relaxation
A typing rule can be more fine-grained / relaxed
2
wontfix
wontfix
This will not be worked on