docs: swap Research/Formalization tier colors#3
Merged
Navi Bot (project-navi-bot) merged 1 commit intomainfrom Mar 31, 2026
Merged
docs: swap Research/Formalization tier colors#3Navi Bot (project-navi-bot) merged 1 commit intomainfrom
Navi Bot (project-navi-bot) merged 1 commit intomainfrom
