GitHub repository: tydeu/lean4-papyrus
Primary language: Lean
Created: 2021-06-29T15:58:28Z
Description: An LLVM interface for Lean 4. (WIP)