Command-line tool

elan-init

brew/elan-init

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

Lean Theorem Prover installer and version manager

Website Source

At a glance

Type

Command-line tool

Install on

macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install elan-init

Linux

brew install elan-init

Related command-line tools

• vampire
  High-performance theorem prover
• lean-cli
  Command-line tool to develop and manage LeanCloud apps lean
• z3
  High-performance theorem prover
• proof-general
  Emacs-based generic interface for theorem provers
• prover9
  Automated theorem prover for first-order and equational logic
• stp
  Simple Theorem Prover, an efficient SMT solver for bitvectors
• cvc5
  An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
• eprover
  Theorem prover for full first-order logic with equality

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents