GitHub repository: yangky11/lean
Description: Lean Theorem Prover