/lean-llvm

LLVM support for the lean theorem prover

Primary LanguageLeanApache License 2.0Apache-2.0

Stargazers