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