Search results
- $ elan toolchain install leanprover/lean4:stable ...ny applications (including using mathlib4) require development versions of lean4. For instance, the build of lean that mathlib4 is using can be found in the ...12 KB (1,875 words) - 14:19, 25 January 2024