docs(readme): sync with spec-only main#57

Xinze-Li-Moqian merged 1 commit into

mainMathNetwork/ProofAtlas:mainfrom

docs/readme-syncMathNetwork/ProofAtlas:docs/readme-syncCopy head branch name to clipboard