homebrew-lean

Homebrew tap for Lean theorem prover

How to Install

brew install leanprover/lean/lean

To upgrade lean to the latest version, run the following commands:

brew update && brew upgrade lean

How to Edit the Formula

Please make changes in lean.rb.template file. The real formula file lean.rb will be generated from lean.rb.template file automatically.