diff --git a/README.md b/README.md
index 8369c8f8f4..98d3d44be9 100644
--- a/README.md
+++ b/README.md
@@ -14,31 +14,6 @@ This is the repository for **Lean 4**, which is currently being released as mile
 
 See [Setting Up Lean](https://leanprover.github.io/lean4/doc/setup.html).
 
-## Supported Platforms
-
-### Tier 1
-
-Platforms built & tested by our CI, available as nightly & stable releases via elan (see above)
-
-* x86-64 Linux with glibc 2.27+
-* x86-64 macOS 10.15+
-* x86-64 Windows 10+
-
-### Tier 2
-
-Platforms cross-compiled but not tested by our CI, available as nightly & stable releases
-
-Releases may be silently broken due to the lack of automated testing.
-Issue reports and fixes are welcome.
-
-* aarch64 Linux with glibc 2.27+
-
-### Tier 3
-
-Platforms that are known to work from manual testing, but do not come with CI or official releases
-
-* aarch64 (M1) macOS - may also [use x86-64 releases via Rosetta](https://github.com/leanprover/elan#manual-installation)
-
 # Contributing
 
 Please read our [Contribution Guidelines](CONTRIBUTING.md) first.
diff --git a/doc/quickstart.md b/doc/quickstart.md
index db4e15bad1..f5bd91ca38 100644
--- a/doc/quickstart.md
+++ b/doc/quickstart.md
@@ -1,7 +1,7 @@
 # Quickstart
 
 These instructions will walk you through setting up Lean using the "basic" setup and VS Code as the editor.
-See [Setup](./setup.md) for other ways and more details on setting up Lean.
+See [Setup](./setup.md) for other ways, supported platforms, and more details on setting up Lean.
 
 1. Install [VS Code](https://code.visualstudio.com/).
 
diff --git a/doc/setup.md b/doc/setup.md
index 9783f62d0d..758b013fef 100644
--- a/doc/setup.md
+++ b/doc/setup.md
@@ -1,3 +1,28 @@
+# Supported Platforms
+
+### Tier 1
+
+Platforms built & tested by our CI, available as nightly & stable releases via elan (see above)
+
+* x86-64 Linux with glibc 2.27+
+* x86-64 macOS 10.15+
+* x86-64 Windows 10+
+
+### Tier 2
+
+Platforms cross-compiled but not tested by our CI, available as nightly & stable releases
+
+Releases may be silently broken due to the lack of automated testing.
+Issue reports and fixes are welcome.
+
+* aarch64 Linux with glibc 2.27+
+
+### Tier 3
+
+Platforms that are known to work from manual testing, but do not come with CI or official releases
+
+* aarch64 (M1) macOS - may also [use x86-64 releases via Rosetta](https://github.com/leanprover/elan#manual-installation)
+
 # Setting Up Lean
 
 There are currently two ways to set up a Lean 4 development environment: