インストール

Automic Vault でインストール

Automic Vault

AV をダウンロード

sudo av install brew:elan-init

macOS

Homebrew 確認済み · 100%

brew install elan-init

local Homebrew formula metadata

MacPorts 確認済み · 94%

sudo port install lean

MacPorts ports tree · math/lean/Portfile · ソース: api.github.com

Linux

Debian apt 確認済み · 92%

sudo apt install elan

Debian stable package indexes · elan · ソース: deb.debian.org

Nix 確認済み · 92%

nix profile install nixpkgs#elan

nixpkgs package indexes · pkgs/by-name/el/elan/package.nix · ソース: api.github.com

Windows

Scoop 確認済み · 92%

scoop install main/elan

Scoop official bucket manifest trees · bucket/elan.json · ソース: api.github.com

Windows Package Manager 確認済み · 92%

winget install --id Lean.Elan -e

Windows Package Manager source index · Lean.Elan · ソース: cdn.winget.microsoft.com

パッケージマネージャソース

https://formulae.brew.sh/formula/elan-init

プラットフォームノート

パッケージ固有のプラットフォームノートはありません。

概要

パッケージ概要

Automic Vault は、elan-init のパッケージ固有のインストール経路、実行可能ファイル情報、セキュリティメタデータをローカルパッケージデータから公開します。

ホームページ

https://github.com/leanprover/elan

コマンドとエイリアス

elan
elan-init
lake
lean
leanc
leanchecker
leanmake
leanpkg

ソース概要

Lean Theorem Prover installer and version manager

セキュリティ状態

リスクレベル: orange

infrastructure mutation or orchestration signal.

リスク分類器

orange リスク · medium 信頼度 · infrastructure

理由

infrastructure mutation or orchestration signal

信号

text:version manager

インストール挙動

No Homebrew post-install hook is recorded in formula metadata.
Homebrew bottle metadata is available for 6 platform targets.
2 件の実行時依存関係とともにインストールされます。
ビルドメタデータには 2 件のビルド依存関係があります。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド	種類	公開範囲
`elan`	cli	global executable
`elan-init`	cli	global executable
`lake`	cli	global executable
`lean`	cli	global executable
`leanc`	cli	global executable
`leanchecker`	cli	global executable
`leanmake`	cli	global executable
`leanpkg`	cli	global executable

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-05-26

マネージャ版4.2.1

マネージャ更新日2026-03-18

ローカルデータok

上流current

検出された最新v4.2.1

https://github.com/leanprover/elan

ok鮮度警告は生成されていません。

インストールメタデータ

パッケージメタデータ

パッケージキー	brew:elan-init
バージョン	4.2.1
パッケージマネージャ	Homebrew
パッケージマネージャページ	https://formulae.brew.sh/formula/elan-init
ホームページ	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
Pulse	updated
依存関係	coreutils, gmp
ビルド依存関係	pkgconf, rust
macOS 提供ライブラリ	bzip2, curl
Bottle	利用可能 (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	未定義
サービス	宣言なし

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-pages.py によって書かれます。www/pkg/ がローカルパッケージデータに対して古い場合、デプロイは公開を拒否します。

使用ソース

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

elan-init をインストール