GitHub repository: sasurau4/asdf-lean
Description: Lean plugin for asdf version manager