GitHub repository: kmill/lean
Description: Lean Theorem Prover