digama0 / lean-sysLinks

Rust bindings for the Lean 4 proof assistant
40Updated last week

Alternatives and similar repositories for lean-sys

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

Sorting: