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