GitHub repository: yatima-inc/FFI.lean
Primary language: Rust
Created: 2022-11-15T21:11:26Z
Description: Template for Lean<->Rust FFI