Workbrew Catalog

Formula

elan-init

Lean Theorem Prover installer and version manager

View on formulae.brew.sh

Version: 4.2.4
License: Apache-2.0 OR MIT
Homepage: https://github.com/leanprover/elan
Installs (30 days): 295
Tags: theorem-prover

brew install elan-init

Deploy any of these packages across your fleet in minutes.

Book a demo See pricing