lean-rs. High level Lean 4 FFI for Rust

github.com/digama0/lean-rs
by @digama0

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.