Labels

• C-grpd

  C-grpd

  Component: groupoid model

• C-meta

  C-meta

  Component: user-facing notation, typechecker, tactics

• C-model

  C-model

  Component: abstract model (natural or unstructured)

• C-syntax

  C-syntax

  Component: typing rules, interpretation function

• D-high

  D-high

  Difficulty: high

• D-low

  D-low

  Difficulty: low

• D-unk

  D-unk

  Difficulty: unknown

• I-crit

  I-crit

  Impact: critical

• I-high

  I-high

  Impact: high

• I-low

  I-low

  Impact: low

• O-doc

  O-doc

  Other: documentation, blueprint

• O-group

  O-group

  Other: issue group

• O-help

  O-help

  Help wanted

• O-poly

  O-poly

  Other: improvements to Poly