GitHub repository: leanprover/homebrew-lean
Primary language: Shell
Description: homebrew tap for Lean theorem prover