docs: swap Research/Formalization tier colors#3

project-navi-bot merged 1 commit intomainProject-Navi/Project-Navi.github.io:mainfrom

docs/swap-tier-colorsProject-Navi/Project-Navi.github.io:docs/swap-tier-colorsCopy head branch name to clipboard