Skip to content

No labels!

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

bug
bug
Something isn't working
continuous-integration
continuous-integration
contribution
contribution
How to contribute to the punctilious project?
deferred
deferred
Low priority issues that are not in the active backlog
dependency
dependency
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
feature
feature
specific capability
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
inference-rule
inference-rule
invalid
invalid
This doesn't seem right
io
io
meta-theory
meta-theory
nice to have
nice to have
improvements that are not a necessity
packaging
packaging
priority-1
priority-1
question
question
Further information is requested
roadmap
roadmap
support
support
test-coverage
test-coverage
testing
testing
theory
theory
Elaboration of native theories
wontfix
wontfix
This will not be worked on