search

jcommelin / queueboard

Mathlib4 review and triage dashboard
https://jcommelin.github.io/queueboard/
Apache License 2.0
3 stars 4 forks source link

chore: use a string literal for each table header #22

Closed grunweg closed 3 months ago