Labels

• has:other-pr-dependency

  This PR cannot be merged before another PR (the maintainer should specify the dependency(ies))
• kind:bug

  Something isn't working
• kind:cleanup

  Refactoring or improvement of existing code
• kind:documentation

  Enhance or add documentation
• kind:duplicate

  This is a duplicate of another issue.
• kind:enhancement

  New feature or upgrade of a previous one
• kind:fix

  The PR fixes a bug
• kind:inconsistency

  Goéland is unsound
• kind:request

  Requesting a new feature
• needs:ci

  Needs a CI run before merging
• needs:discussion

  The PR needs to be discussed
• needs:progress

  The PR needs to be updated w.r.t. the discussions
• needs:rebase

  When the PR needs to get rebased in order to get merged
• part:infrastructure

  The PR is on non-goéland code
• part:lambdapi-output
• part:library

  This PR is about library code.
• part:logging

  The PR/issue is about logging
• part:optimization

  Related to optimized versions of the proof-search
• part:parsing

  Issue/PR on the parsing of problems
• part:plugins

  The PR is about plugin-related code
• part:proof-output

  About the vanilla proof output (in custom format)
• part:proof-search

  The PR is about the proof-search algorithm
• part:rocq-output

  About the certified output in Rocq
• part:typing

  The PR is about typed terms/the typing algorithm
• part:unification

  About the unification process of Goéland
• part:unit-tests

  The PR is about unit testing
• request:benchs

  Request the benchs of CASC-J12 from the GitHub workflow
• request:ci

  Requests a CI run from the workflow