GitHub repository: FR-vdash-bot/lean4
Primary language: Lean
Description: Lean 4 programming language and theorem prover