Human folly for 02026-06-08

older newer index

• Managing toolchains with ELAN (lean-lang.org):

  You can install #LEAN in a subdirectory with more space by pointing the ELAN_HOME environment variable to it before running elan toolchain install stable or whatever. #documentation #formal-methods