GitHub repository: leanprover-community/lean
Primary language: C++
Description: Lean 3 Theorem Prover (community fork)