docs(spec): update Basic.lean with two-layer architecture#61

Xinze-Li-Moqian merged 1 commit into

mainMathNetwork/ProofAtlas:mainfrom

docs/basic-spec-updateMathNetwork/ProofAtlas:docs/basic-spec-updateCopy head branch name to clipboard