Closed Kha closed 1 year ago
$ elan toolchain install leanprover-community/mathlib4:lean-toolchain info: downloading component 'lean' 180.8 MiB / 180.8 MiB (100 %) 668.3 KiB/s ETA: 0 s info: installing component 'lean' leanprover/lean4:nightly-2023-06-20 installed