docs(milestones): add two-layer Astrolabe architecture to phase-1#60

Xinze-Li-Moqian merged 1 commit into

mainMathNetwork/ProofAtlas:mainfrom

docs/phase1-astrolabeMathNetwork/ProofAtlas:docs/phase1-astrolabeCopy head branch name to clipboard