/lean-rs

High level Lean 4 FFI for Rust

Primary LanguageRust

This repository is not active