GitHub repository: GaloisInc/lean
Primary language: C++
Description: Lean Theorem Prover