GitHub repository: leanprover/lean-llvm
Description: Custom-built LLVM toolchain for use in Lean 4