GaloisInc / lean-llvm

LLVM support for the lean theorem prover
45Updated 3 years ago

Alternatives and similar repositories for lean-llvm:

Users that are interested in lean-llvm are comparing it to the libraries listed below