chore: drop development branch, simplify to feature → main#74

Xinze-Li-Moqian merged 1 commit into

mainMathNetwork/ProofAtlas:mainfrom

chore/drop-dev-v2MathNetwork/ProofAtlas:chore/drop-dev-v2Copy head branch name to clipboard