digama0 / lean-rsLinks

High level Lean 4 FFI for Rust
13Updated last year

Alternatives and similar repositories for lean-rs

Users that are interested in lean-rs are comparing it to the libraries listed below

Sorting: