search

digama0 / lean-sys

Rust bindings for the Lean 4 proof assistant
Apache License 2.0
17 stars 5 forks source link

update to 4.6.0 #12

Closed digama0 closed 7 months ago