homebrew tap for Lean theorem prover