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.

  Due by March 1, 2026

  •3/13 issues closed
  23% complete10 open3 closed

• Public release

  Final product, feature-complete.

  Due by December 31, 2026

  •0/12 issues closed
  0% complete12 open0 closed