microsoft / AliveInLeanLinks
Formally verified implementation of Alive in Lean
☆36Updated 2 years ago
Alternatives and similar repositories for AliveInLean
Users that are interested in AliveInLean are comparing it to the libraries listed below
Sorting:
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- LLVM support for the lean theorem prover☆51Updated 4 years ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆18Updated 4 years ago
- embedding MLIR in LEAN☆47Updated last year
- Cerberus C semantics☆69Updated last month
- SMTscope automatically analyses and visualises SMT solver execution traces.☆42Updated this week
- sketches for egg: a flexible, high-performance e-graph library☆28Updated last week
- An LLVM interface for Lean 4. (WIP)☆24Updated 2 years ago
- Gallina to Bedrock2 compilation toolkit☆60Updated this week
- A Gallina compiler with C++17 as an intermediate representation