asdf-community / asdf-lean

Lean plugin for the asdf version manager

asdf-lean

Lean plugin for asdf version manager

---

Note: This plugin only supports Lean 3.1.0 or later for macOS users.

Prerequirements

• Make sure you have the required dependencies installed:
  • curl
  • git
  • tar (for *nix users)
  • unzip (for macOS users)

Installation

asdf plugin-add lean https://github.com/asdf-community/asdf-lean.git

Usage

Check asdf readme for instructions on how to install & manage versions.

Contributors

Thanks goes to these wonderful people (emoji key):

BSKY 💻 📖 🚧 🚇

Daiki Ihara 🚇

This project follows the all-contributors specification. Contributions of any kind welcome!

License

Licensed under the Apache License, Version 2.0.