Project Dashboard

Stream: PrimeNumberTheorem+

[Pietro Monticone]

I've just set up the dashboard-based system for this project.

If you're not familiar with it:

• Test task issue: a quick self-contained tutorial
• Full contributing guide

From now, to enhance integration and automation, we might want to add the task issue number (e.g. N) in the discussion parameter of the @[blueprint] tag so that it's automatically linked in the blueprint website and dependency graph as follows:

@[blueprint "latex-label"
  (statement := /-- The informal statement of the declaration in LaTeX. -/)
  (proof := /-- The informal proof of the declaration in LaTeX. -/)
  (discussion := N)]

I'm also considering task issue templates to streamline task generation for project managers and ensure issues are automatically added to the dashboard via the task label metadata.

I'm thinking about something super simple like:

---
name: Formalization Task
about: Create a new formalization task for contributors
title: '[TASK]: '
labels: 'task'
assignees: ''
---

## Description

<!-- Describe the task clearly and concisely. -->

## Blueprint

<!-- Link to the relevant blueprint declaration. -->

## Zulip

<!-- Link to the relevant Zulip discussion thread. -->

Thoughts, @Terence Tao and @Alex Kontorovich?

[Terence Tao]

Thanks! I'm tied up with meetings at the moment, but will try to play with this later.

[Terence Tao]

My attempt to add discussion numbers to the blueprint at PNT#521 did not work:

! Undefined control sequence.
l.5 \discussion
               {510}
?
! Emergency stop.

maybe some update to the blueprint.tex code is needed?

[Pietro Monticone]

Fixed.