Awesome
<div align="center"> <h1>asdf-lean</h1> <span><a href="https://leanprover.github.io">Lean</a> plugin for asdf version manager</span> </div> <hr />
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):
<!-- ALL-CONTRIBUTORS-LIST:START - Do not remove or modify this section --> <!-- prettier-ignore-start --> <!-- markdownlint-disable --> <table> <tr> <td align="center"><a href="https://bsky.moe"><img src="https://avatars3.githubusercontent.com/u/38746192?v=4" width="100px;" alt=""/><br /><sub><b>BSKY</b></sub></a><br /><a href="https://github.com/asdf-community/asdf-lean/commits?author=imbsky" title="Code">💻</a> <a href="https://github.com/asdf-community/asdf-lean/commits?author=imbsky" title="Documentation">📖</a> <a href="#maintenance-imbsky" title="Maintenance">🚧</a> <a href="#infra-imbsky" title="Infrastructure (Hosting, Build-Tools, etc)">🚇</a></td> <td align="center"><a href="https://sasurau4.github.io/profile/"><img src="https://avatars3.githubusercontent.com/u/13580199?v=4" width="100px;" alt=""/><br /><sub><b>Daiki Ihara</b></sub></a><br /><a href="#infra-sasurau4" title="Infrastructure (Hosting, Build-Tools, etc)">🚇</a></td> </tr> </table> <!-- markdownlint-enable --> <!-- prettier-ignore-end --> <!-- ALL-CONTRIBUTORS-LIST:END -->This project follows the all-contributors specification. Contributions of any kind welcome!
License
Licensed under the Apache License, Version 2.0.