List view

• Annotation starts

  A student assistant hired by the researcher to do annotation will start their work. They should at least be able to browse problems, see proofs and parses and add annotations.

  Overdue by 4 month(s)

  •

  Due by March 1, 2026

  •5/14 issues closed
  35% complete9 open5 closed

• Public release

  Final product, feature-complete.

  Due by December 31, 2026

  •0/12 issues closed
  0% complete12 open0 closed