diff --git a/README.md b/README.md index 9a5700874..ff5b7f401 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ # Mathematics — proofs, calculations, and open reviews -[Research home](https://github.com/d6g8k5htny-coder/main) · [Topic guide](https://github.com/d6g8k5htny-coder/main/blob/main/docs/RESEARCH_INDEX.md) · [Run the checks](https://github.com/d6g8k5htny-coder/main/blob/main/docs/REPRODUCE.md) · [How to cite](CITING.md) · [Claim manifest](claims/LANDING_CLAIMS.json) · [Proof availability](PROOF_INDEX.md) · [Work queue](https://github.com/d6g8k5htny-coder/main/issues/86) *(closed downstream record; not a live queue)* · [Current coordination](https://github.com/d6g8k5htny-coder/main/issues/229) +[Research home](https://github.com/d6g8k5htny-coder/main) · [Topic guide](https://github.com/d6g8k5htny-coder/main/blob/main/docs/RESEARCH_INDEX.md) · [Run the checks](https://github.com/d6g8k5htny-coder/main/blob/main/docs/REPRODUCE.md) · [How to cite](CITING.md) · [Claim manifest](claims/LANDING_CLAIMS.json) · [Proof availability](PROOF_INDEX.md) · [Work queue](https://github.com/d6g8k5htny-coder/main/issues/86) *(closed downstream record; not a live queue)* · [Active coordination](https://github.com/d6g8k5htny-coder/main/issues/307) ([historical #229 board](https://github.com/d6g8k5htny-coder/main/issues/229); [working guidance](https://github.com/d6g8k5htny-coder/main/issues/229#issuecomment-6038554880)) ## Read a result