chore: simplify to feature → main, drop development layer#80

Xinze-Li-Moqian merged 1 commit into

mainMathNetwork/ProofAtlas:mainfrom

chore/simplify-branchingMathNetwork/ProofAtlas:chore/simplify-branchingCopy head branch name to clipboard