Skip to content

No labels!

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

23 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Something isn't working
4
CN
CN
Issues related to the CN tool
34
documentation
documentation
Improvements or additions to documentation
10
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
6
EPFL
EPFL
École Polytechnique Fédérale de Lausanne
Galois
Galois
Galois, Inc.
30
good first issue
good first issue
Good for newcomers
hci
hci
Issues related to human-computer interaction
6
help wanted
help wanted
Extra attention is needed
interactive theorem proving
interactive theorem proving
Issues related to interactive theorem proving
1
invalid
invalid
This doesn't seem right
Lynx
Lynx
Lynx Software Technologies
Penn
Penn
University of Pennsylvania
1
project-logistics
project-logistics
Issues related to contracts, finance, meetings, planning, etc.
7
question
question
Further information is requested
spec testing
spec testing
Issues relating to runtime specification testing.
6
UCam
UCam
University of Cambridge
5
UIUC
UIUC
University of Illinois at Urbana-Champaign
UMass
UMass
University of Massachusetts
UMD
UMD
University of Maryland
1
VDE
VDE
Issues related to VERSE IDE
9
wontfix
wontfix
This will not be worked on