/lean-llvm

Custom-built LLVM toolchain for use in Lean 4

This repository is not active