Skip to content

No labels!

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

42 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
Administrative
Administrative
bug
bug
12
Community
Community
6
Component: Arith
Component: Arith
1
Component: Build
Component: Build
2
Component: Docs
Component: Docs
10
Component: FTY
Component: FTY
2
Component: GL
Component: GL
1
Component: Hons
Component: Hons
1
Component: OSLIB
Component: OSLIB
2
Component: Parallelism
Component: Parallelism
6
Component: Scripts
Component: Scripts
Component: Sedan
Component: Sedan
Component: Sidekick
Component: Sidekick
1
Component: STD
Component: STD
15
Component: SV
Component: SV
5
Component: System (core theorem prover)
Component: System (core theorem prover)
1
Component: UI
Component: UI
1
Component: VL
Component: VL
6
Component: XDOC
Component: XDOC
13
Difficulty: Easy
Difficulty: Easy
8
Difficulty: Hard
Difficulty: Hard
8
Difficulty: Medium
Difficulty: Medium
14
duplicate
duplicate
enhancement
enhancement
19
help wanted
help wanted
6
invalid
invalid
Licenses
Licenses
Maintainability
Maintainability
6
not enough information
not enough information