Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/GaloisInc/lean-llvm
LLVM support for the lean theorem prover
https://github.com/GaloisInc/lean-llvm
lean4
Last synced: about 2 months ago
JSON representation
LLVM support for the lean theorem prover
- Host: GitHub
- URL: https://github.com/GaloisInc/lean-llvm
- Owner: GaloisInc
- License: apache-2.0
- Created: 2018-08-30T05:33:11.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2021-09-14T19:43:20.000Z (about 3 years ago)
- Last Synced: 2024-06-20T04:01:14.890Z (4 months ago)
- Topics: lean4
- Language: Lean
- Homepage:
- Size: 464 KB
- Stars: 31
- Watchers: 22
- Forks: 1
- Open Issues: 5
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
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.