Running Lean 4 on macOS 10.13.6

Stream: new members

[Jing Guo]

Hi everyone, I played with some simple examples with Lean 3 in the past, and recently I want to install Lean 4. However, as my MacBook Pro is about 13-year old and am on macOS 10.13.6 (High Sierra), so Lean 4 does not really support this platform. So I was wondering what are the other options that I could have to play with and learn Lean 4?

[Yaël Dillies]

https://gitpod.io/#/https://github.com/leanprover-community/mathlib4 is what I use.