max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

doc: move tier list to setup.md

Browse source
This commit is contained in:
Sebastian Ullrich 2022-03-25 09:49:46 +01:00
parent 7ce4a85d25
commit ca9678be58
3 changed files with 26 additions and 26 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
README.md
View file

@ -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.

2
doc/quickstart.md
View file

@ -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/).

25
doc/setup.md
View file

@ -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: