sunny-g/lean4-rs

rust binding for lean4

lean4-rs

lean4_rs is a library for using Rust in Lean4. it is a high level wrapper around lean4_sys.

Usage

check the usage of lean4_sys first.

then instead of using lean4_sys directly, use lean4-rs.