GitHub repository: JasonMorrisSC/lean4
Description: Lean 4 programming language and theorem prover