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

doc: add platform support tiers to README

Browse source
This commit is contained in:
Sebastian Ullrich 2022-03-25 09:30:24 +01:00
parent 7e853621eb
commit 7ce4a85d25
1 changed files with 25 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
README.md
View file

@ -14,6 +14,31 @@ 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.