# 安装 elan-init

查看 elan-init 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

## 安装

```sh
sudo av install brew:elan-init
```

其他安装命令:

### macOS

- Homebrew (100%):

```sh
brew install elan-init
```

  证据: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install lean
```

  证据: MacPorts ports tree: math/lean/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

### Linux

- Debian apt (92%):

```sh
sudo apt install elan
```

  证据: Debian stable package indexes: elan from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

- Nix (92%):

```sh
nix profile install nixpkgs#elan
```

  证据: nixpkgs package indexes: pkgs/by-name/el/elan/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

### Windows

- Scoop (92%):

```sh
scoop install main/elan
```

  证据: Scoop official bucket manifest trees: bucket/elan.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1

- winget (92%):

```sh
winget install --id Lean.Elan -e
```

  证据: Windows Package Manager source index: Lean.Elan from https://cdn.winget.microsoft.com/cache/source.msix

## 软件包事实

- **软件包键:** brew:elan-init
- **软件包管理器:** Homebrew
- **软件包管理器页面:** <https://formulae.brew.sh/formula/elan-init>
- **版本:** 4.2.1
- **来源摘要:** Lean Theorem Prover installer and version manager
- **主页:** <https://github.com/leanprover/elan>
- **仓库:** <https://github.com/leanprover/elan>
- **许可证:** Apache-2.0 OR MIT
- **源码归档:** <https://github.com/leanprover/elan/archive/refs/tags/v4.2.1.tar.gz>
- **更新:** 2026-03-18T14:48:22Z
- **生成来源:** 2026-05-26T22:45:13+00:00

## 可执行文件

- elan (cli)
- elan-init (cli)
- lake (cli)
- lean (cli)
- leanc (cli)
- leanchecker (cli)
- leanmake (cli)
- leanpkg (cli)
- elan (别名)
- elan-init (别名)
- lake (别名)
- lean (别名)
- leanc (别名)
- leanchecker (别名)
- leanmake (别名)
- leanpkg (别名)

## 依赖

- coreutils
- gmp

## 构建依赖

- pkgconf
- rust

## macOS 提供的库

- bzip2
- curl

## 安装行为

- post-install 钩子: 未定义
- Bottle: 可用 于 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## 新鲜度

- 页面生成时间: 2026-05-26
- 管理器版本: 4.2.1
- 管理器更新时间: 2026-03-18
- 本地数据: ok
- 上游仓库: https://github.com/leanprover/elan
- 检测到的最新版本: v4.2.1 (current)

## 安全说明

infrastructure mutation or orchestration signal.

- **Geiger 风险:** orange / medium
- infrastructure mutation or orchestration signal

## 相关链接

- [gmp](https://www.automicvault.com/pkg/brew/gmp/) - Runtime dependency declared by Homebrew.
- [coreutils](https://www.automicvault.com/pkg/brew/coreutils/) - Runtime dependency declared by Homebrew.
- [pkgconf](https://www.automicvault.com/pkg/brew/pkgconf/) - Build dependency declared by Homebrew.
- [rust](https://www.automicvault.com/pkg/brew/rust/) - Build dependency declared by Homebrew.
- [Secret-risk packages](https://www.automicvault.com/pkg/secret-risk-packages/)

## 来源

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- package version freshness
- package relationship graph
- cross-ecosystem install command graph