soonhokong/homebrew-lean

homebrew tap for Lean theorem prover

Shell