Labels
Labels
automata
Boole
Boole: feature request
bug
CI Change
dependencies
dependency-incompatibility
dependency-incompatibility-fix
Fix PR for a dependency incompatibility, opened by downstream-reportsdocumentation
duplicate
enhancement
github_actions
good first issue
grind
help wanted
invalid
logic
lts
operational semantics
pending upstream
process calculi
question
wontfix