Labels

• C-grpd

  Component: groupoid model
• C-meta

  Component: user-facing notation, typechecker, tactics
• C-model

  Component: abstract natural model
• C-syntax

  Component: typing rules, interpretation function
• D-high

  Difficulty: high
• D-low

  Difficulty: low
• D-unk

  Difficulty: unknown
• I-crit

  Impact: critical
• I-high

  Impact: high
• I-low

  Impact: low
• O-doc

  Other: documentation, blueprint
• O-group

  Other: issue group
• O-help

  Help wanted
• O-poly

  Other: improvements to Poly