PACKAGE NAME: lean-elan-3.0.0-x86_64-2_dce.tgz
PACKAGE MIRROR: http://slackdce.radioclub.ar/slackdce/15.0/x86_64/
PACKAGE LOCATION: ./development/lean-elan
PACKAGE SIZE (compressed): 2076 K
PACKAGE SIZE (uncompressed): 5270 K
PACKAGE REQUIRED:  rust16
PACKAGE CONFLICTS:  
PACKAGE SUGGESTS:  
PACKAGE DESCRIPTION:
lean-elan: lean-elan (toolchain manager for the lean prover)
lean-elan:
lean-elan: elan is a small tool for managing your installations of the Lean
lean-elan: theorem prover. It places lean and lake binaries in your PATH that
lean-elan: automatically select and, if necessary, download the Lean version
lean-elan: described in your project's lean-toolchain file. You can also
lean-elan: install, select, run, and uninstall Lean versions manually using the
lean-elan: commands of the elan executable.
lean-elan:
lean-elan:
lean-elan: