GitHub repository: lurk-lab/RustFFI.lean
Primary language: Lean
Description: Template for Lean<->Rust FFI