GaloisInc/lean-llvm

LLVM support for the lean theorem prover

Lean

87 commits

updated Sep 14, 2021

README

lean-llvm

This contains a Lean 4 library with bindings to the LLVM library. It is intended to make it easy to work with LLVM in Lean.

See https://github.com/galoisinc/reopt-vcg for most up-to-date info on how this library is currently used/built/etc.

It is made available under the Apache 2 license. See the LICENSE file for more details.

lean4

Contributors

robdockins

70 commits

simonjwinwood

12 commits

joehendrix

5 commits

Similar repos

digama0/lean-sys

Rust bindings for the Lean 4 proof assistant

bscarlet/llvm-general

Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass…

133

llvm/llvm-test-suite

267

adamrk/llvm-ocaml-tutorial

The LLVM tutorial using OCaml

llvm/test-suite

267

espressif/llvm-project

Fork of LLVM with Xtensa specific patches. To be upstreamed.

286

facebookarchive/clangir

💀 The former home of clangir, now part of the official LLVM incubator. See website below for…

154

leanprover/lean

Lean Theorem Prover

2,154

Languages

Lean

60.9%

C++

37.1%

Makefile

1.3%

GaloisInc/lean-llvm

LLVM support for the lean theorem prover

Lean

87 commits

updated Sep 14, 2021

See the code

README

lean-llvm

This contains a Lean 4 library with bindings to the LLVM library. It is intended to make it easy to work with LLVM in Lean.

See https://github.com/galoisinc/reopt-vcg for most up-to-date info on how this library is currently used/built/etc.

It is made available under the Apache 2 license. See the LICENSE file for more details.

lean4

Similar repos

digama0/lean-sys

Rust bindings for the Lean 4 proof assistant

bscarlet/llvm-general

Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass…

133

llvm/llvm-test-suite

267

adamrk/llvm-ocaml-tutorial

The LLVM tutorial using OCaml

llvm/test-suite

267

espressif/llvm-project

Fork of LLVM with Xtensa specific patches. To be upstreamed.

286

facebookarchive/clangir

💀 The former home of clangir, now part of the official LLVM incubator. See website below for…

154

leanprover/lean

Lean Theorem Prover

2,154

Contributors

robdockins

70 commits

simonjwinwood

12 commits

joehendrix

5 commits

Languages

Lean

60.9%

C++

37.1%

Makefile

1.3%