LLVM support for the lean theorem prover - View it on GitHub