{"library":"lean-cli","install":[{"cmd":"brew install lean-cli","imports":[]}]}